skip to content
Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings Preview this item
ClosePreview this item
Checking...

Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings

Author: David A Schmidt
Publisher: Berlin ; New York : Springer, ©2004.
Series: Lecture notes in computer science, 2986.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the 13th European Symposium on Programming, ESOP 2004, held in Barcelona, Spain, in March/April 2004. The 27 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from a total of 118 submissions. The papers deal with a broad variety of current issues in the specification, analysis, and implementation of  Read more...
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Barcelona (2004)
Kongress
Congresses
Congrès
Additional Physical Format: Print version:
European Symposium on Programming (13th : 2004 : Barcelona, Spain).
Programming languages and systems.
Berlin ; New York : Springer, ©2004
(DLC) 2004102322
(OCoLC)54950987
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: David A Schmidt
ISBN: 3540247254 9783540247258
OCLC Number: 60715195
Description: 1 online resource (xii, 415 pages) : illustrations.
Contents: Resources, Concurrency, and Local Reasoning --
Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors --
Strong Preservation as Completeness in Abstract Interpretation --
Static Analysis of Digital Filters --
Sound and Decidable Type Inference for Functional Dependencies --
Call-by-Value Mixin Modules --
ML-Like Inference for Classifiers --
From Constraints to Finite Automata to Filtering Algorithms --
A Memoizing Semantics for Functional Logic Languages --
Adaptive Pattern Matching on Binary Data --
Compositional Analysis of Authentication Protocols --
A Distributed Abstract Machine for Boxed Ambient Calculi --
A Dependently Typed Ambient Calculus --
A Control Flow Analysis for Safe and Boxed Ambients --
Linear Types for Packet Processing --
Modal Proofs as Distributed Programs --
ULM: A Core Programming Model for Global Computing --
A Semantic Framework for Designer Transactions --
Semantical Analysis of Specification Logic, 3 --
Answer Type Polymorphism in Call-by-Name Continuation Passing --
System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types --
A Hardest Attacker for Leaking References --
Trust Management in Strand Spaces: A Rely-Guarantee Method --
Just Fast Keying in the Pi Calculus --
Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation --
Functors for Proofs and Programs --
Extracting a Data Flow Analyser in Constructive Logic --
Canonical Graph Shapes.
Series Title: Lecture notes in computer science, 2986.
Other Titles: ESOP 2004
ETAPS 2004
Responsibility: David Schmidt, (ed.).
More information:

Abstract:

This volume contains the 28 papers presented at ESOP 2004, the 13th European Symposium on Programming, which took place in Barcelona, Spain, March 29- 31, 2004.  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/60715195> # Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "60715195" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/898897054#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Thing/esop> ; # ESOP
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Thing/software> ; # software
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Topic/langage_de_programmation> ; # Langage de programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Topic/formale_sprache> ; # Formale Sprache
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Topic/computer_programming> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Thing/programming_systems> ; # programming systems
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Topic/computers_software_development_&_engineering_tools> ; # COMPUTERS--Software Development & Engineering--Tools
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Topic/computers_software_development_&_engineering_general> ; # COMPUTERS--Software Development & Engineering--General
    schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Thing/languages> ; # languages
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Topic/langages_de_programmation> ; # Langages de programmation
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Topic/programmation_informatique> ; # Programmation (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Topic/programmiersprache> ; # Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Topic/programmation> ; # Programmation
    schema:about <http://dewey.info/class/005.1/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Topic/computers_programming_open_source> ; # COMPUTERS--Programming--Open Source
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Thing/etaps> ; # ETAPS
    schema:about <http://experiment.worldcat.org/entity/work/data/898897054#Topic/programmierung> ; # Programmierung
    schema:alternateName "ETAPS 2004" ;
    schema:alternateName "ESOP 2004" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/51786663> ; # David A. Schmidt
    schema:contributor <http://experiment.worldcat.org/entity/work/data/898897054#Meeting/etaps_conference_2004_barcelona_spain> ; # ETAPS (Conference) (2004 : Barcelona, Spain)
    schema:copyrightYear "2004" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/898897054#Meeting/european_symposium_on_programming_13th_2004_barcelona_spain> ; # European Symposium on Programming (13th : 2004 : Barcelona, Spain)
    schema:datePublished "2004" ;
    schema:description "Resources, Concurrency, and Local Reasoning -- Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors -- Strong Preservation as Completeness in Abstract Interpretation -- Static Analysis of Digital Filters -- Sound and Decidable Type Inference for Functional Dependencies -- Call-by-Value Mixin Modules -- ML-Like Inference for Classifiers -- From Constraints to Finite Automata to Filtering Algorithms -- A Memoizing Semantics for Functional Logic Languages -- Adaptive Pattern Matching on Binary Data -- Compositional Analysis of Authentication Protocols -- A Distributed Abstract Machine for Boxed Ambient Calculi -- A Dependently Typed Ambient Calculus -- A Control Flow Analysis for Safe and Boxed Ambients -- Linear Types for Packet Processing -- Modal Proofs as Distributed Programs -- ULM: A Core Programming Model for Global Computing -- A Semantic Framework for Designer Transactions -- Semantical Analysis of Specification Logic, 3 -- Answer Type Polymorphism in Call-by-Name Continuation Passing -- System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types -- A Hardest Attacker for Leaking References -- Trust Management in Strand Spaces: A Rely-Guarantee Method -- Just Fast Keying in the Pi Calculus -- Decidable Analysis of Cryptographic Protocols with Products and Modular Exponentiation -- Functors for Proofs and Programs -- Extracting a Data Flow Analyser in Constructive Logic -- Canonical Graph Shapes."@en ;
    schema:description "This book constitutes the refereed proceedings of the 13th European Symposium on Programming, ESOP 2004, held in Barcelona, Spain, in March/April 2004. The 27 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from a total of 118 submissions. The papers deal with a broad variety of current issues in the specification, analysis, and implementation of programming languages and systems."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/898897054> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Barcelona (2004)"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Kongress"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/54950987> ;
    schema:name "Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings"@en ;
    schema:productID "60715195" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/60715195#PublicationEvent/berlin_new_york_springer_2004> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/898897054#Agent/springer> ; # Springer
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/10994481> ;
    schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/b96702> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-21313-0> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2986> ;
    schema:url <http://www.myilibrary.com?id=30718> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-21313-0> ;
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3088821> ;
    schema:url <http://www.myilibrary.com?id=30718&ref=toc> ;
    schema:url <http://link.springer.com/10.1007/b96702> ;
    schema:url <http://dx.doi.org/10.1007/b96702> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=133720> ;
    schema:workExample <http://dx.doi.org/10.1007/b96702> ;
    schema:workExample <http://worldcat.org/isbn/9783540247258> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/60715195> ;
    .


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/898897054#Meeting/etaps_conference_2004_barcelona_spain> # ETAPS (Conference) (2004 : Barcelona, Spain)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/898897054#Place/barcelona_spain> ; # Barcelona, Spain)
    schema:name "ETAPS (Conference) (2004 : Barcelona, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898897054#Meeting/european_symposium_on_programming_13th_2004_barcelona_spain> # European Symposium on Programming (13th : 2004 : Barcelona, Spain)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/898897054#Place/barcelona_spain> ; # Barcelona, Spain)
    schema:name "European Symposium on Programming (13th : 2004 : Barcelona, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898897054#Place/barcelona_spain> # Barcelona, Spain)
    a schema:Place ;
    schema:name "Barcelona, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/898897054#Thing/programming_systems> # programming systems
    a schema:Thing ;
    schema:name "programming systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/898897054#Topic/computers_programming_open_source> # COMPUTERS--Programming--Open Source
    a schema:Intangible ;
    schema:name "COMPUTERS--Programming--Open Source"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/898897054#Topic/computers_software_development_&_engineering_general> # COMPUTERS--Software Development & Engineering--General
    a schema:Intangible ;
    schema:name "COMPUTERS--Software Development & Engineering--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/898897054#Topic/computers_software_development_&_engineering_tools> # COMPUTERS--Software Development & Engineering--Tools
    a schema:Intangible ;
    schema:name "COMPUTERS--Software Development & Engineering--Tools"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/898897054#Topic/langage_de_programmation> # Langage de programmation
    a schema:Intangible ;
    schema:name "Langage de programmation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/898897054#Topic/langages_de_programmation> # Langages de programmation
    a schema:Intangible ;
    schema:name "Langages de programmation"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/898897054#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
    schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/898897054#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
    schema:name "Programmiersprache"@en ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

<http://viaf.org/viaf/51786663> # David A. Schmidt
    a schema:Person ;
    schema:birthDate "1953 May 10" ;
    schema:familyName "Schmidt" ;
    schema:givenName "David A." ;
    schema:name "David A. Schmidt" ;
    .

<http://worldcat.org/isbn/9783540247258>
    a schema:ProductModel ;
    schema:isbn "3540247254" ;
    schema:isbn "9783540247258" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/60715195> ; # Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/54950987>
    a schema:CreativeWork ;
    rdfs:label "Programming languages and systems." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/60715195> ; # Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/60715195>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/60715195> ; # Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
    schema:dateModified "2018-02-09" ;
    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.