ECOOP 2001 - Object-Oriented Programming 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings /
Lindskov Knudsen, Jorgen.
ECOOP 2001 - Object-Oriented Programming 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings / [electronic resource] : by Jorgen Lindskov Knudsen. - 1st ed. 2001. - XIV, 434 p. online resource. - Lecture Notes in Computer Science, 2072 1611-3349 ; . - Lecture Notes in Computer Science, 2072 .
Keynote Speech -- Language, Objects, and Intentionality -- Sharing and Encapsulation -- Capabilities for Sharing -- Sealing, Encapsulation, and Mutablility -- Simple Ownership Types for Object Containment -- Type Inference and Static Analysis -- Distinctness and Sharing Domains for Static Analysis of Java Programs -- Precise Constraint-Based Type Inference for Java -- Language Design -- CCC: User-Defined Object Structure in C -- Fickle: Dynamic Object Re-classification -- Invited Talk -- Scripting .NET Using Mondrian -- Implementation Techniques -- A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests -- On the Usefulness of Liveness for Garbage Collection and Leak Detection -- Concurrent Cycle Collection in Reference Counted Systems -- A Bytecode Translator for Distributed Execution of “Legacy” Java Software -- A Bytecode Translator for Distributed Execution of “Legacy” Java Software -- Reflections on MOP s, Components, and Java Security -- Reflections on MOP s, Components, and Java Security -- The Optimistic Readers Transformation -- The Optimistic Readers Transformation -- Invited Talk -- People and the Limits of Methodology -- Language Design -- Family Polymorphism -- An Overview of AspectJ -- True Modules for Java-like Languages -- Testing and Design -- Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies -- Quality and Understandability of Use Case Models.
This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001. The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. The book is organized in topical sections on sharing and encapsulation, type inference and static analysis, language design, implementation techniques, reflection and concurrency, and testing and design.
9783540453376
10.1007/3-540-45337-7 doi
Computer programming.
Software engineering.
Compilers (Computer programs).
Computer science.
Computer networks .
Business information services.
Programming Techniques.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Computer Communication Networks.
IT in Business.
QA76.6-76.66
005.11
ECOOP 2001 - Object-Oriented Programming 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings / [electronic resource] : by Jorgen Lindskov Knudsen. - 1st ed. 2001. - XIV, 434 p. online resource. - Lecture Notes in Computer Science, 2072 1611-3349 ; . - Lecture Notes in Computer Science, 2072 .
Keynote Speech -- Language, Objects, and Intentionality -- Sharing and Encapsulation -- Capabilities for Sharing -- Sealing, Encapsulation, and Mutablility -- Simple Ownership Types for Object Containment -- Type Inference and Static Analysis -- Distinctness and Sharing Domains for Static Analysis of Java Programs -- Precise Constraint-Based Type Inference for Java -- Language Design -- CCC: User-Defined Object Structure in C -- Fickle: Dynamic Object Re-classification -- Invited Talk -- Scripting .NET Using Mondrian -- Implementation Techniques -- A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests -- On the Usefulness of Liveness for Garbage Collection and Leak Detection -- Concurrent Cycle Collection in Reference Counted Systems -- A Bytecode Translator for Distributed Execution of “Legacy” Java Software -- A Bytecode Translator for Distributed Execution of “Legacy” Java Software -- Reflections on MOP s, Components, and Java Security -- Reflections on MOP s, Components, and Java Security -- The Optimistic Readers Transformation -- The Optimistic Readers Transformation -- Invited Talk -- People and the Limits of Methodology -- Language Design -- Family Polymorphism -- An Overview of AspectJ -- True Modules for Java-like Languages -- Testing and Design -- Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies -- Quality and Understandability of Use Case Models.
This book constitutes the refereed proceedings of the 15th European Conference on Object-Oriented Programming, ECOOP 2001, held in Budapest, Hungary, in June 2001. The 18 revised full papers presented together with one invited paper were carefully reviewed and selected from 108 submissions. The book is organized in topical sections on sharing and encapsulation, type inference and static analysis, language design, implementation techniques, reflection and concurrency, and testing and design.
9783540453376
10.1007/3-540-45337-7 doi
Computer programming.
Software engineering.
Compilers (Computer programs).
Computer science.
Computer networks .
Business information services.
Programming Techniques.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Computer Communication Networks.
IT in Business.
QA76.6-76.66
005.11