1 option
ECOOP 2003 - Object-Oriented Programming : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings / edited by Luca Cardelli.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2743.
- Lecture Notes in Computer Science, 0302-9743 ; 2743
- Language:
- English
- Subjects (All):
- Computer programming.
- Software engineering.
- Computer networks.
- Computer logic.
- Database management.
- Application software.
- Programming Techniques.
- Software Engineering/Programming and Operating Systems.
- Computer Communication Networks.
- Logics and Meanings of Programs.
- Database Management.
- Computer Appl. in Administrative Data Processing.
- Local Subjects:
- Programming Techniques.
- Software Engineering/Programming and Operating Systems.
- Computer Communication Networks.
- Logics and Meanings of Programs.
- Database Management.
- Computer Appl. in Administrative Data Processing.
- Physical Description:
- 1 online resource (X, 505 pages).
- Edition:
- First edition 2003.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
- System Details:
- text file PDF
- Contents:
- Invited Talk 1
- Built-in Object Security
- Aspects and Components
- Modeling Crosscutting in Aspect-Oriented Mechanisms
- Spontaneous Container Services
- A Calculus of Untyped Aspect-Oriented Programs
- Patterns, Architecture, and Collaboration
- Language Support for Connector Abstractions
- Walkabout Revisited: The Runabout
- MX: Mobile Object Exchange for Collaborative Applications
- Types
- Regular Object Types
- External Uniqueness Is Unique Enough
- A Nominal Theory of Objects with Dependent Types
- Invited Talk 2
- Open APIs for Embedded Security
- Modeling
- Traits: Composable Units of Behaviour
- A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information
- Higher-Order Hierarchies
- Algorithms, Optimization and Runtimes
- Two-Dimensional Bi-directional Object Layout
- LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications
- Java Subtype Tests in Real-Time
- Invited Talk 3
- Growing XQuery
- Formal Techniques and Methodology
- Discovering Algebraic Specifications from Java Classes
- A Refinement Algebra for Object-Oriented Programming
- Object-Oriented Reading Techniques for Inspection of UML Models - An Industrial Experiment.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-45070-2
- 9783540450702
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.