ECOOP 2006 - Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings / [electronic resource] :
edited by Dave Thomas.
- 1st ed. 2006.
- XIV, 530 p. online resource.
- Lecture Notes in Computer Science, 4067 1611-3349 ; .
- Lecture Notes in Computer Science, 4067 .
Keynote -- Design Patterns - 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable Source Code Queries with Datalog -- Efficient Object Querying for Java -- Automatic Prefetching by Traversal Profiling in Object Persistence Architectures -- Ownership and Concurrency -- The Runtime Structure of Object Ownership -- On Ownership and Accessibility -- Scoped Types and Aspects for Real-Time Java -- Transparently Reconciling Transactions with Locking for Java Synchronization -- Special 20th Anniversary Session -- Object Technology - A Grand Narrative? -- Peak Objects -- From ECOOP'87 to ECOOP 2006 and Beyond -- The Continuing Quest for Abstraction -- Early Concurrent/Mobile Objects -- Keynote -- Turning the Network into a Database with Active XML -- Languages -- SuperGlue: Component Programming with Object-Oriented Signals -- Ambient-Oriented Programming in AmbientTalk -- Responders: Language Support for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic Analysis of C++ Templates -- Session Types for Object-Oriented Languages -- Parameterized Modules for Classes and Extensible Functions -- Keynote -- The Closing of the Frontier -- Tools -- Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking -- Automated Detection of Refactorings in Evolving Components -- Modeling Runtime Behavior in Framework-Based Applications -- Modularity -- Modular Software Upgrades for Distributed Systems -- Demeter Interfaces: Adaptive Programming Without Surprises -- Managing the Evolution of Aspect-Oriented Software with Model-Based Pointcuts.
9783540357278
10.1007/11785477 doi
Computer programming.
Software engineering.
Compilers (Computer programs).
Computer science.
Computer networks .
Electronic data processing--Management.
Programming Techniques.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Computer Communication Networks.
IT Operations.
QA76.6-76.66
005.11
Keynote -- Design Patterns - 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable Source Code Queries with Datalog -- Efficient Object Querying for Java -- Automatic Prefetching by Traversal Profiling in Object Persistence Architectures -- Ownership and Concurrency -- The Runtime Structure of Object Ownership -- On Ownership and Accessibility -- Scoped Types and Aspects for Real-Time Java -- Transparently Reconciling Transactions with Locking for Java Synchronization -- Special 20th Anniversary Session -- Object Technology - A Grand Narrative? -- Peak Objects -- From ECOOP'87 to ECOOP 2006 and Beyond -- The Continuing Quest for Abstraction -- Early Concurrent/Mobile Objects -- Keynote -- Turning the Network into a Database with Active XML -- Languages -- SuperGlue: Component Programming with Object-Oriented Signals -- Ambient-Oriented Programming in AmbientTalk -- Responders: Language Support for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic Analysis of C++ Templates -- Session Types for Object-Oriented Languages -- Parameterized Modules for Classes and Extensible Functions -- Keynote -- The Closing of the Frontier -- Tools -- Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking -- Automated Detection of Refactorings in Evolving Components -- Modeling Runtime Behavior in Framework-Based Applications -- Modularity -- Modular Software Upgrades for Distributed Systems -- Demeter Interfaces: Adaptive Programming Without Surprises -- Managing the Evolution of Aspect-Oriented Software with Model-Based Pointcuts.
9783540357278
10.1007/11785477 doi
Computer programming.
Software engineering.
Compilers (Computer programs).
Computer science.
Computer networks .
Electronic data processing--Management.
Programming Techniques.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Computer Communication Networks.
IT Operations.
QA76.6-76.66
005.11