ECOOP 2005 - Object-Oriented Programming
Editat de Andrew Blacken Limba Engleză Paperback – 18 iul 2005
Preț: 642.10 lei
Preț vechi: 802.63 lei
-20%
Puncte Express: 963
Carte tipărită la comandă
Livrare economică 25 iulie-08 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.