Coverart for item
The Resource 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, David Schmidt, (ed.)

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, David Schmidt, (ed.)

Label
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
Title
Programming languages and systems
Title remainder
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
Statement of responsibility
David Schmidt, (ed.)
Title variation
  • ESOP 2004
  • ETAPS 2004
Creator
Contributor
Subject
Genre
Language
eng
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 programming languages and systems
Member of
Cataloging source
COO
Dewey number
005.1
Illustrations
illustrations
Index
index present
LC call number
QA76.6
LC item number
.E976 2004
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
European Symposium on Programming
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1953 May 10-
  • 2004
http://library.link/vocab/relatedWorkOrContributorName
  • Schmidt, David A.
  • ETAPS (Conference)
Series statement
Lecture notes in computer science,
Series volume
2986
http://library.link/vocab/subjectName
  • Computer programming
  • Programming languages (Electronic computers)
  • COMPUTERS
  • COMPUTERS
  • COMPUTERS
  • Computer programming
  • Programming languages (Electronic computers)
  • Formale Sprache
  • Programmiersprache
  • Programmierung
  • Langage de programmation
  • Programmation
Label
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, David Schmidt, (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
60715195
Dimensions
unknown
Extent
1 online resource (xii, 415 pages)
Form of item
online
Isbn
9783540247258
Lccn
2004102322
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b96702
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)60715195
Label
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, David Schmidt, (ed.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
60715195
Dimensions
unknown
Extent
1 online resource (xii, 415 pages)
Form of item
online
Isbn
9783540247258
Lccn
2004102322
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/b96702
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)60715195

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...