Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings / [electronic resource] :
edited by Jan Vitek.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
- 316p. 103 illus. online resource.
- Lecture Notes in Computer Science, 6141 0302-9743 ; .
- Lecture Notes in Computer Science, 6141 .
Deep Meta-modelling with MetaDepth -- A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks -- Understanding the Impact of Collection Contracts on Design -- Reasoning about Function Objects -- Welterweight Java -- Read-Only Execution for Dynamic Languages -- Optimizing Aspect-Oriented Mechanisms for Embedded Applications -- Contract-Driven Testing of JavaScript Code -- Late Binding of AspectJ Advice -- EriLex: An Embedded Domain Specific Language Generator -- Domain-Specific Program Checking -- Revisiting Parametric Types and Virtual Classes -- Moles: Tool-Assisted Environment Isolation with Closures -- Encoding Ownership Types in Java -- Visualizing Dynamic Metrics with Profiling Blueprints.
9783642139536
10.1007/978-3-642-13953-6 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Mathematical Logic and Formal Languages.
Computer Communication Networks.
QA76.758
005.1
Deep Meta-modelling with MetaDepth -- A Generic Meta-model-Based Approach for Specifying Framework Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks -- Understanding the Impact of Collection Contracts on Design -- Reasoning about Function Objects -- Welterweight Java -- Read-Only Execution for Dynamic Languages -- Optimizing Aspect-Oriented Mechanisms for Embedded Applications -- Contract-Driven Testing of JavaScript Code -- Late Binding of AspectJ Advice -- EriLex: An Embedded Domain Specific Language Generator -- Domain-Specific Program Checking -- Revisiting Parametric Types and Virtual Classes -- Moles: Tool-Assisted Environment Isolation with Closures -- Encoding Ownership Types in Java -- Visualizing Dynamic Metrics with Profiling Blueprints.
9783642139536
10.1007/978-3-642-13953-6 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Mathematical Logic and Formal Languages.
Computer Communication Networks.
QA76.758
005.1