ECOOP 2003 – Object-Oriented Programming [electronic resource] : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings / edited by Luca Cardelli.

Contributor(s): Cardelli, Luca [editor.] | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 2743Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003Description: X, 505 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540450702Subject(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Database management | Information systems | Computer Science | Software Engineering/Programming and Operating Systems | Computer Communication Networks | Logics and Meanings of Programs | Database Management | Computer Appl. in Administrative Data Processing | Computers and SocietyAdditional physical formats: Printed edition:: No titleDDC classification: 005.1 LOC classification: QA76.758Online resources: Click here to access online
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.
In: Springer eBooks
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK5159

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.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha