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:   Print book : Conference publication : EnglishView all editions and formats
Summary:

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...

Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Kongress
Conference papers and proceedings
Darmstadt (2003)
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Luca Cardelli
ISBN: 3540405313 9783540405313
OCLC Number: 52574664
Description: x, 500 pages : illustrations ; 24 cm.
Contents: Built-in Object Security / Martin Abadi --
Modeling Crosscutting in Aspect-Oriented Mechanisms / Hidehiko Masuhara and Gregor Kiczales --
Spontaneous Container Services / Andrei Popovici, Gustavo Alonso and Thomas Gross --
A Calculus of Untyped Aspect-Oriented Programs / Radha Jagadeesan, Alan Jeffrey and James Riely --
Language Support for Connector Abstractions / Jonathan Aldrich, Vibha Sazawal, Craig Chambers and David Notkin --
Walkabout Revisited: The Runabout / Christian Grothoff --
MX: Mobile Object Exchange for Collaborative Applications / Liuba Shrira and Hong Tian --
Regular Object Types / Vladimir Gapeyev and Benjamin C. Pierce --
External Uniqueness Is Unique Enough / Dave Clarke and Tobias Wrigstad --
A Nominal Theory of Objects with Dependent Types / Martin Odersky, Vincent Cremet, Christine Rockl and Matthias Zenger --
Open APIs for Embedded Security / Carl A. Gunter --
Traits: Composable Units of Behaviour / Nathanael Scharli, Stephane Ducasse, Oscar Nierstrasz and Andrew P. Black --
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information / Patrick Lam and Martin Rinard --
Higher-Order Hierarchies / Erik Ernst --
Two-Dimensional Bi-directional Object Layout / Yoav Zibin and Joseph (Yossi) Gil --
LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications / Nick Mitchell and Gary Sevitsky --
Java Subtype Tests in Real-Time / Krzysztof Palacz and Jan Vitek --
Growing XQuery / Mary Fernandez and Jerome Simeon --
Discovering Algebraic Specifications from Java Classes / Johannes Henkel and Amer Diwan --
A Refinement Algebra for Object-Oriented Programming / Paulo Borba, Augusto Sampaio and Marcio Cornelio --
Object-Oriented Reading Techniques for Inspection of UML Models --
An Industrial Experiment / Reidar Conradi, Parastoo Mohagheghi, Tayyaba Arif, Lars Christian Hegde, Geir Arne Bunde and Anders Pedersen.
Series Title: Lecture notes in computer science, 2743.
Responsibility: Luca Cardelli, ed.
More information:

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/52574664> # ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "52574664" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/774310558#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/774310558#Topic/objektorientierte_programmierung> ; # Objektorientierte Programmierung
   schema:about <http://experiment.worldcat.org/entity/work/data/774310558#Topic/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/774310558#Topic/programmation_orientee_objet_informatique> ; # Programmation orientée objet (Informatique)
   schema:about <http://dewey.info/class/005.117/e22/> ;
   schema:about <http://id.worldcat.org/fast/1042803> ; # Object-oriented methods (Computer science)
   schema:bookFormat bgn:PrintBook ;
   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 "Built-in Object Security / Martin Abadi -- Modeling Crosscutting in Aspect-Oriented Mechanisms / Hidehiko Masuhara and Gregor Kiczales -- Spontaneous Container Services / Andrei Popovici, Gustavo Alonso and Thomas Gross -- A Calculus of Untyped Aspect-Oriented Programs / Radha Jagadeesan, Alan Jeffrey and James Riely -- Language Support for Connector Abstractions / Jonathan Aldrich, Vibha Sazawal, Craig Chambers and David Notkin -- Walkabout Revisited: The Runabout / Christian Grothoff -- MX: Mobile Object Exchange for Collaborative Applications / Liuba Shrira and Hong Tian -- Regular Object Types / Vladimir Gapeyev and Benjamin C. Pierce -- External Uniqueness Is Unique Enough / Dave Clarke and Tobias Wrigstad -- A Nominal Theory of Objects with Dependent Types / Martin Odersky, Vincent Cremet, Christine Rockl and Matthias Zenger -- Open APIs for Embedded Security / Carl A. Gunter -- Traits: Composable Units of Behaviour / Nathanael Scharli, Stephane Ducasse, Oscar Nierstrasz and Andrew P. Black -- A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information / Patrick Lam and Martin Rinard -- Higher-Order Hierarchies / Erik Ernst -- Two-Dimensional Bi-directional Object Layout / Yoav Zibin and Joseph (Yossi) Gil -- LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications / Nick Mitchell and Gary Sevitsky -- Java Subtype Tests in Real-Time / Krzysztof Palacz and Jan Vitek -- Growing XQuery / Mary Fernandez and Jerome Simeon -- Discovering Algebraic Specifications from Java Classes / Johannes Henkel and Amer Diwan -- A Refinement Algebra for Object-Oriented Programming / Paulo Borba, Augusto Sampaio and Marcio Cornelio -- Object-Oriented Reading Techniques for Inspection of UML Models -- An Industrial Experiment / Reidar Conradi, Parastoo Mohagheghi, Tayyaba Arif, Lars Christian Hegde, Geir Arne Bunde and Anders Pedersen."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/774310558> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Darmstadt (2003)"@en ;
   schema:genre "Kongress"@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:name "ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings"@en ;
   schema:productID "52574664" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/52574664#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://swbplus.bsz-bw.de/bsz106027093cov.htm> ;
   schema:url <http://www.springerlink.com/link.asp?id=k6cw6ufp9h8a> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2743> ;
   schema:url <http://dx.doi.org/10.1007/b11832> ;
   schema:url <http://link.springer-ny.com/link/service/series/0558/tocs/t2743.htm> ;
   schema:workExample <http://worldcat.org/isbn/9783540405313> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/52574664> ;
    .


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/52574664> ; # ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/774310558#Topic/objektorientierte_programmierung> # Objektorientierte Programmierung
    a schema:Intangible ;
   schema:name "Objektorientierte Programmierung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/774310558#Topic/programmation_orientee_objet_informatique> # Programmation orientée objet (Informatique)
    a schema:Intangible ;
   schema:name "Programmation orientée objet (Informatique)"@fr ;
    .

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

<http://link.springer.com/10.1007/b11832>
   rdfs:comment "eBook available for UOIT via SpringerLink. Click link to access" ;
    .

<http://link.springer-ny.com/link/service/series/0558/tocs/t2743.htm>
   rdfs:comment "Available to Stanford-affiliated users at" ;
    .

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

<http://worldcat.org/isbn/9783540405313>
    a schema:ProductModel ;
   schema:isbn "3540405313" ;
   schema:isbn "9783540405313" ;
    .

<http://www.worldcat.org/title/-/oclc/52574664>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/52574664> ; # ECOOP 2003-- object-oriented programming : 17th European conference, Darmstadt, Germany, July 21-25, 2003 : proceedings
   schema:dateModified "2018-03-12" ;
   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.