ECOOP 2005 - Object-Oriented Programming
Editat de Andrew Blacken Limba Engleză Paperback – 18 iul 2005
Preț: 640.11 lei
Preț vechi: 800.14 lei
-20% Nou
Puncte Express: 960
Preț estimativ în valută:
113.25€ • 133.14$ • 99.19£
113.25€ • 133.14$ • 99.19£
Carte tipărită la comandă
Livrare economică 28 ianuarie-11 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540279921
ISBN-10: 354027992X
Pagini: 656
Ilustrații: XVII, 631 p.
Dimensiuni: 155 x 235 x 36 mm
Greutate: 0.98 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354027992X
Pagini: 656
Ilustrații: XVII, 631 p.
Dimensiuni: 155 x 235 x 36 mm
Greutate: 0.98 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Talks.- Attached Types and Their Application to Three Open Problems of Object-Oriented Programming.- The Emergent Structure of Development Tasks.- Java.- Loosely-Separated “Sister” Namespaces in Java.- Efficiently Refactoring Java Applications to Use Generic Libraries.- Sharing the Runtime Representation of Classes Across Class Loaders.- Aspects and Modularity.- Aspect-Oriented Programming Beyond Dependency Injection.- Open Modules: Modular Reasoning About Advice.- Evaluating Support for Features in Advanced Modularization Technologies.- Separation of Concerns with Procedures, Annotations, Advice and Pointcuts.- Expressive Pointcuts for Increased Modularity.- Sustainable System Infrastructure and Big Bang Evolution: Can Aspects Keep Pace?.- Language Design.- First-Class Relationships in an Object-Oriented Language.- The Essence of Data Access in C?.- Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model.- Efficient Multimethods in a Single Dispatch Language.- Program Analysis.- Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection.- State Based Ownership, Reentrance, and Encapsulation.- Consistency Checking of Statechart Diagrams of a Class Hierarchy.- Types.- Towards Type Inference for JavaScript.- Chai: Traits for Java-Like Languages.- A Type System for Reachability and Acyclicity.- Testing.- Eclat: Automatic Generation and Classification of Test Inputs.- Lightweight Defect Localization for Java.- Concurrency.- Extending JML for Modular Specification and Verification of Multi-threaded Programs.- Derivation and Evaluation of Concurrent Collectors.- Static Deadlock Detection for Java Libraries.