skip to content
ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings Preview this item
ClosePreview this item
Checking...

ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings

Author: Luca Cardelli
Publisher: Berlin ; New York : Springer-Verlag, ©2003.
Series: Lecture notes in computer science, 2743.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003. The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 88 submissions. The papers are organized in topical sections on aspects and components; patterns, architecture, and collaboration; types;  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Electronic book
Congresses
Additional Physical Format: Print version:ECOOP 2003 (2003 : Darmstadt, Germany)
ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings
(OCoLC)52574664
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Luca Cardelli
ISBN: 9783540450702 354045070X
OCLC Number: 166468722
Description: 1 online resource (x, 500 pages) : illustrations.
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.
Series Title: Lecture notes in computer science, 2743.
Responsibility: Luca Cardelli, ed.

Abstract:

The refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003.The 18 revised full papers presented together with 2  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/166468722> # ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "166468722" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/774310558#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://id.worldcat.org/fast/1042803> ; # Object-oriented methods (Computer science)
    schema:about <http://dewey.info/class/005.117/e22/> ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/71562846> ; # Luca Cardelli
    schema:copyrightYear "2003" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/774310558#Meeting/ecoop_conference_17th_2003_darmstadt_germany> ; # ECOOP (Conference) (17th : 2003 : Darmstadt, Germany)
    schema:datePublished "2003" ;
    schema:description "This book constitutes the refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003. The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 88 submissions. The papers are organized in topical sections on aspects and components; patterns, architecture, and collaboration; types; modeling; algorithms, optimization, and runtimes; and formal techniques and methodology."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/774310558> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic book"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/774310558#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/52574664> ;
    schema:name "ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings"@en ;
    schema:productID "166468722" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/166468722#PublicationEvent/berlin_new_york_springer_verlag_2003> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/774310558#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://link.springer.com/10.1007/b11832> ;
    schema:url <http://VH7QX3XE2P.search.serialssolutions.com/?V=1.0&L=VH7QX3XE2P&S=JCs&C=TC0000322808&T=marc&tab=BOOKS> ;
    schema:url <http://www.springerlink.com/link.asp?id=k6cw6ufp9h8a> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/10929230> ;
    schema:url <http://dx.doi.org/10.1007/b11832> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-40531-3> ;
    schema:workExample <http://worldcat.org/isbn/9783540450702> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/166468722> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/774310558#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/774310558#Meeting/ecoop_conference_17th_2003_darmstadt_germany> # ECOOP (Conference) (17th : 2003 : Darmstadt, Germany)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/774310558#Place/darmstadt_germany> ; # Darmstadt, Germany)
    schema:name "ECOOP (Conference) (17th : 2003 : Darmstadt, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/774310558#Place/darmstadt_germany> # Darmstadt, Germany)
    a schema:Place ;
    schema:name "Darmstadt, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/774310558#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/166468722> ; # ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://id.worldcat.org/fast/1042803> # Object-oriented methods (Computer science)
    a schema:Intangible ;
    schema:name "Object-oriented methods (Computer science)"@en ;
    .

<http://viaf.org/viaf/71562846> # Luca Cardelli
    a schema:Person ;
    schema:familyName "Cardelli" ;
    schema:givenName "Luca" ;
    schema:name "Luca Cardelli" ;
    .

<http://worldcat.org/isbn/9783540450702>
    a schema:ProductModel ;
    schema:isbn "354045070X" ;
    schema:isbn "9783540450702" ;
    .

<http://www.worldcat.org/oclc/52574664>
    a schema:CreativeWork ;
    rdfs:label "ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings" ;
    schema:description "Print version:ECOOP 2003 (2003 : Darmstadt, Germany)" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/166468722> ; # ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/166468722>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/166468722> ; # ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings
    schema:dateModified "2018-11-23" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.