lorem ipsum dolor sit amet ...
Tidsskrift
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
Fra
Alle registrerede artikler fordelt på udgivelser
...
...
...
...
...