skip to content
Programming Languages and Systems : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings Preview this item
ClosePreview this item
Checking...

Programming Languages and Systems : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author: David HutchisonGiuseppe CastagnaTakeo KanadeJosef KittlerJon M KleinbergAll authors
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series: Lecture Notes in Computer Science, 5502.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Programming languages and systems.
Summary:

This book constitutes the refereed proceedings of the 18th European Symposium on Programming, ESOP 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on  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

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: David Hutchison; Giuseppe Castagna; Takeo Kanade; Josef Kittler; Jon M Kleinberg; Friedemann Mattern; John C Mitchell; Moni Naor; Oscar Nierstrasz; C Pandu Rangan; Bernhard Steffen; Madhu Sudan; Demetri Terzopoulos; Doug Tygar; Moshe Y Vardi; Gerhard Weikum
ISBN: 9783642005909 364200590X 9783642005893 3642005896
OCLC Number: 728431859
Notes: Computer Science (Springer-11645).
Description: 1 online resource (Online-Datei.).
Contents: Typed Functional Programming.- Well-Typed Programs Can't Be Blamed.- Exploring the Design Space of Higher-Order Casts.- Practical Variable-Arity Polymorphism.- Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming.- ETAPS Invited Talk.- Using Category Theory to Design Programming Languages.- Computational Effects.- Modular Monad Transformers.- Handlers of Algebraic Effects.- Types for Object-Oriented Languages.- Is Structural Subtyping Useful? An Empirical Study.- An Interval-Based Inference of Variant Parametric Types.- Existential Quantification for Variant Ownership.- Verification.- Formalising and Verifying Reference Attribute Grammars in Coq.- Verified, Executable Parsing.- An Efficient Algorithm for Solving the Dyck-CFL Reachability Problem on Trees.- Amortised Memory Analysis Using the Depth of Data Structures.- ESOP Invited Talk.- The Financial Crisis, a Lack of Contract Specification Tools: What Can Finance Learn from Programming Language Design?.- Security.- All Secrets Great and Small.- Type-Based Automated Verification of Authenticity in Cryptographic Protocols.- Concurrency.- A Theory of Non-monotone Memory (Or: Contexts for free).- Abstraction for Concurrent Objects.- Minimization Algorithm for Symbolic Bisimilarity.- Service-Oriented Computing.- Conversation Types.- Abstract Processes in Orchestration Languages.- Global Principal Typing in Partially Commutative Asynchronous Sessions.- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.- Parallel and Concurrent Programming.- Automatic Parallelization with Separation Logic.- Deny-Guarantee Reasoning.- A Basis for Verifying Multi-threaded Programs.- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.
Series Title: Lecture Notes in Computer Science, 5502.
Responsibility: edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Giuseppe Castagna.

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/728431859> # Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "728431859" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/865670880#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/xxk> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/865670880#Topic/theory_of_computation> ; # Theory of Computation
    schema:about <http://experiment.worldcat.org/entity/work/data/865670880#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/865670880#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
    schema:about <http://experiment.worldcat.org/entity/work/data/865670880#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/865670880#Topic/software_engineering_programming_and_operating_systems> ; # Software Engineering/Programming and Operating Systems
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://id.worldcat.org/fast/973149> ; # Information theory
    schema:about <http://experiment.worldcat.org/entity/work/data/865670880#Topic/programming_techniques> ; # Programming Techniques
    schema:about <http://dewey.info/class/005.13/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/865670880#Topic/computer_science> ; # Computer Science
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/245186509> ; # Giuseppe Castagna
    schema:contributor <http://viaf.org/viaf/32249261> ; # Oscar Nierstrasz
    schema:contributor <http://viaf.org/viaf/61636213> ; # Takeo Kanade
    schema:contributor <http://viaf.org/viaf/162691482> ; # Jon M. Kleinberg
    schema:contributor <http://viaf.org/viaf/162245894> ; # Gerhard Weikum
    schema:contributor <http://viaf.org/viaf/38149066394665601007> ; # Doug Tygar
    schema:contributor <http://viaf.org/viaf/57063007> ; # Bernhard Steffen
    schema:contributor <http://viaf.org/viaf/114470255> ; # Friedemann Mattern
    schema:contributor <http://viaf.org/viaf/42887943> ; # Moshe Y. Vardi
    schema:contributor <http://viaf.org/viaf/85212989> ; # C. Pandu Rangan
    schema:contributor <http://viaf.org/viaf/10004382> ; # Demetri Terzopoulos
    schema:contributor <http://viaf.org/viaf/41918393> ; # Josef Kittler
    schema:contributor <http://viaf.org/viaf/67527661> ; # Moni Naor
    schema:contributor <http://viaf.org/viaf/32154680> ; # Madhu Sudan
    schema:contributor <http://viaf.org/viaf/58291480> ; # John C. Mitchell
    schema:creator <http://experiment.worldcat.org/entity/work/data/865670880#Person/hutchison_david> ; # David Hutchison
    schema:datePublished "2009" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/865670880> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/865670880#Series/lecture_notes_in_computer_science> ; # Lecture Notes in Computer Science ;
    schema:name "Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings" ;
    schema:productID "728431859" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/728431859#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/865670880#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
    schema:url <http://dx.doi.org/10.1007/978-3-642-00590-9> ;
    schema:url <http://sfx.metabib.ch:9003/sfx_locater?sid=ALEPH:DSV01&genre=book&isbn=978-3-642-00590-9&id=doi:10.1007/978-3-642-00590-9> ;
    schema:url <http://swbplus.bsz-bw.de/bsz306266911cov.htm> ;
    schema:workExample <http://worldcat.org/isbn/9783642005893> ;
    schema:workExample <http://worldcat.org/isbn/9783642005909> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-00590-9> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/728431859> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/865670880#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
    schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/865670880#Person/hutchison_david> # David Hutchison
    a schema:Person ;
    schema:familyName "Hutchison" ;
    schema:givenName "David" ;
    schema:name "David Hutchison" ;
    .

<http://experiment.worldcat.org/entity/work/data/865670880#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/865670880#Series/lecture_notes_in_computer_science> # Lecture Notes in Computer Science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/728431859> ; # Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/865670880#Topic/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Intangible ;
    schema:name "Algorithm Analysis and Problem Complexity" ;
    .

<http://experiment.worldcat.org/entity/work/data/865670880#Topic/computer_science> # Computer Science
    a schema:Intangible ;
    schema:name "Computer Science" ;
    .

<http://experiment.worldcat.org/entity/work/data/865670880#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs" ;
    .

<http://experiment.worldcat.org/entity/work/data/865670880#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
    schema:name "Programming Languages, Compilers, Interpreters" ;
    .

<http://experiment.worldcat.org/entity/work/data/865670880#Topic/programming_techniques> # Programming Techniques
    a schema:Intangible ;
    schema:name "Programming Techniques" ;
    .

<http://experiment.worldcat.org/entity/work/data/865670880#Topic/software_engineering_programming_and_operating_systems> # Software Engineering/Programming and Operating Systems
    a schema:Intangible ;
    schema:name "Software Engineering/Programming and Operating Systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/865670880#Topic/theory_of_computation> # Theory of Computation
    a schema:Intangible ;
    schema:name "Theory of Computation" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    .

<http://id.worldcat.org/fast/872527> # Computer software
    a schema:Intangible ;
    schema:name "Computer software" ;
    .

<http://id.worldcat.org/fast/973149> # Information theory
    a schema:Intangible ;
    schema:name "Information theory" ;
    .

<http://viaf.org/viaf/10004382> # Demetri Terzopoulos
    a schema:Person ;
    schema:familyName "Terzopoulos" ;
    schema:givenName "Demetri" ;
    schema:name "Demetri Terzopoulos" ;
    .

<http://viaf.org/viaf/114470255> # Friedemann Mattern
    a schema:Person ;
    schema:familyName "Mattern" ;
    schema:givenName "Friedemann" ;
    schema:name "Friedemann Mattern" ;
    .

<http://viaf.org/viaf/162245894> # Gerhard Weikum
    a schema:Person ;
    schema:familyName "Weikum" ;
    schema:givenName "Gerhard" ;
    schema:name "Gerhard Weikum" ;
    .

<http://viaf.org/viaf/162691482> # Jon M. Kleinberg
    a schema:Person ;
    schema:familyName "Kleinberg" ;
    schema:givenName "Jon M." ;
    schema:name "Jon M. Kleinberg" ;
    .

<http://viaf.org/viaf/245186509> # Giuseppe Castagna
    a schema:Person ;
    schema:familyName "Castagna" ;
    schema:givenName "Giuseppe" ;
    schema:name "Giuseppe Castagna" ;
    .

<http://viaf.org/viaf/32154680> # Madhu Sudan
    a schema:Person ;
    schema:familyName "Sudan" ;
    schema:givenName "Madhu" ;
    schema:name "Madhu Sudan" ;
    .

<http://viaf.org/viaf/32249261> # Oscar Nierstrasz
    a schema:Person ;
    schema:familyName "Nierstrasz" ;
    schema:givenName "Oscar" ;
    schema:name "Oscar Nierstrasz" ;
    .

<http://viaf.org/viaf/38149066394665601007> # Doug Tygar
    a schema:Person ;
    schema:familyName "Tygar" ;
    schema:givenName "Doug" ;
    schema:name "Doug Tygar" ;
    .

<http://viaf.org/viaf/41918393> # Josef Kittler
    a schema:Person ;
    schema:familyName "Kittler" ;
    schema:givenName "Josef" ;
    schema:name "Josef Kittler" ;
    .

<http://viaf.org/viaf/42887943> # Moshe Y. Vardi
    a schema:Person ;
    schema:familyName "Vardi" ;
    schema:givenName "Moshe Y." ;
    schema:name "Moshe Y. Vardi" ;
    .

<http://viaf.org/viaf/57063007> # Bernhard Steffen
    a schema:Person ;
    schema:familyName "Steffen" ;
    schema:givenName "Bernhard" ;
    schema:name "Bernhard Steffen" ;
    .

<http://viaf.org/viaf/58291480> # John C. Mitchell
    a schema:Person ;
    schema:familyName "Mitchell" ;
    schema:givenName "John C." ;
    schema:name "John C. Mitchell" ;
    .

<http://viaf.org/viaf/61636213> # Takeo Kanade
    a schema:Person ;
    schema:familyName "Kanade" ;
    schema:givenName "Takeo" ;
    schema:name "Takeo Kanade" ;
    .

<http://viaf.org/viaf/67527661> # Moni Naor
    a schema:Person ;
    schema:familyName "Naor" ;
    schema:givenName "Moni" ;
    schema:name "Moni Naor" ;
    .

<http://viaf.org/viaf/85212989> # C. Pandu Rangan
    a schema:Person ;
    schema:familyName "Pandu Rangan" ;
    schema:givenName "C." ;
    schema:name "C. Pandu Rangan" ;
    .

<http://worldcat.org/isbn/9783642005893>
    a schema:ProductModel ;
    schema:isbn "3642005896" ;
    schema:isbn "9783642005893" ;
    .

<http://worldcat.org/isbn/9783642005909>
    a schema:ProductModel ;
    schema:isbn "364200590X" ;
    schema:isbn "9783642005909" ;
    .

<http://www.worldcat.org/title/-/oclc/728431859>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/728431859> ; # Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
    schema:dateModified "2018-02-02" ;
    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.