Coverart for item
The Resource Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings, Gert Smolka (ed.)

Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings, Gert Smolka (ed.)

Label
Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Title
Programming languages and systems
Title remainder
9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Statement of responsibility
Gert Smolka (ed.)
Title variation
ESOP 2000, programming languages and systems
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
005.1
Illustrations
illustrations
Index
index present
LC call number
QA76.6
LC item number
.E976 2000
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2000
http://bibfra.me/vocab/lite/meetingName
European Symposium on Programming
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
2000
http://library.link/vocab/relatedWorkOrContributorName
  • Smolka, Gert
  • ETAPS (Conference)
Series statement
Lecture notes in computer science,
Series volume
1782
http://library.link/vocab/subjectName
Computer programming
Label
Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings, Gert Smolka (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Functional Nets / Martin Odersky -- Faithful Translations between Polyvariant Flows and Polymorphic Types / Torben Amtoft and Franklyn Turbak -- On the Expressiveness of Event Notification in Data-Driven Coordination Languages / Nadia Busi and Gianluigi Zavattaro -- Flow-Directed Closure Conversion for Typed Languages / Henry Cejtin, Suresh Jagannathan and Stephen Weeks -- Directional Type Checking for Logic Programs: Beyond Discriminative Types / Witold Charatonik -- Formalizing Implementation Strategies for First-Class Continuations / Olivier Danvy -- Correctness of Java Card Method Lookup via Logical Relations / Ewen Denney and Thomas Jensen -- Compile-Time Debugging of C Programs Working on Trees / Jacob Elgaard, Anders Moller and Michael I. Schwartzbach -- A Calculus for Compiling and Linking Classes / Kathleen Fisher, John Reppy and Jon G. Riecke -- Abstract Domains for Universal and Existential Properties / Andrew Heaton, Patricia M. Hill and Andy King -- A Type System for Bounded Space and Functional In-Place Update -- Extended Abstract / Martin Hofmann -- Secure Information Flow as Typed Process Behaviour / Kohei Honda, Vasco Vasconcelos and Nobuko Yoshida -- Implementing Groundness Analysis with Definite Boolean Functions / Jacob M. Howe and Andy King -- The Correctness of Type Specialisation / John Hughes -- Type Classes with Functional Dependencies / Mark P. Jones -- Sharing Continuations: Proofnets for Languages with Explicit Control / Julia L. Lawall and Harry G. Mairson -- A Calculus for Link-Time Compilation / Elena Machkasova and Franklyn A. Turbak -- Improving the Representation of Infinite Trees to Deal with Sets of Trees / Laurent Mauborgne -- On the Translation of Procedures to Finite Machines / Markus Muller-Olm and Andreas Wolf -- A Kleene Analysis of Mobile Ambients / Flemming Nielson, Hanne Riis Nielson and Mooly Sagiv -- A 3-Part Type Inference Engine / Francois Pottier -- First-Class Structures for Standard ML / Claudio V. Russo -- Constraint-Based Inter-Procedural Analysis of Parallel Programs / Helmut Seidl and Bernhard Steffen -- Alias Types / Frederick Smith, David Walker and Greg Morrisett -- Polyvariant Flow Analysis with Constrained Types / Scott F. Smith and Tiejun Wang -- On Exceptions Versus Continuations in the Presence of State / Hayo Thielecke -- Equational Reasoning for Linking with First-Class Primitive Modules / J. B. Wells and Rene Vestergaard
Control code
43641438
Dimensions
24 cm
Extent
xiii, 428 pages
Isbn
9783540672623
Isbn Type
(softcover : alk. paper)
Lccn
00029660
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Label
Programming languages and systems : 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings, Gert Smolka (ed.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
Functional Nets / Martin Odersky -- Faithful Translations between Polyvariant Flows and Polymorphic Types / Torben Amtoft and Franklyn Turbak -- On the Expressiveness of Event Notification in Data-Driven Coordination Languages / Nadia Busi and Gianluigi Zavattaro -- Flow-Directed Closure Conversion for Typed Languages / Henry Cejtin, Suresh Jagannathan and Stephen Weeks -- Directional Type Checking for Logic Programs: Beyond Discriminative Types / Witold Charatonik -- Formalizing Implementation Strategies for First-Class Continuations / Olivier Danvy -- Correctness of Java Card Method Lookup via Logical Relations / Ewen Denney and Thomas Jensen -- Compile-Time Debugging of C Programs Working on Trees / Jacob Elgaard, Anders Moller and Michael I. Schwartzbach -- A Calculus for Compiling and Linking Classes / Kathleen Fisher, John Reppy and Jon G. Riecke -- Abstract Domains for Universal and Existential Properties / Andrew Heaton, Patricia M. Hill and Andy King -- A Type System for Bounded Space and Functional In-Place Update -- Extended Abstract / Martin Hofmann -- Secure Information Flow as Typed Process Behaviour / Kohei Honda, Vasco Vasconcelos and Nobuko Yoshida -- Implementing Groundness Analysis with Definite Boolean Functions / Jacob M. Howe and Andy King -- The Correctness of Type Specialisation / John Hughes -- Type Classes with Functional Dependencies / Mark P. Jones -- Sharing Continuations: Proofnets for Languages with Explicit Control / Julia L. Lawall and Harry G. Mairson -- A Calculus for Link-Time Compilation / Elena Machkasova and Franklyn A. Turbak -- Improving the Representation of Infinite Trees to Deal with Sets of Trees / Laurent Mauborgne -- On the Translation of Procedures to Finite Machines / Markus Muller-Olm and Andreas Wolf -- A Kleene Analysis of Mobile Ambients / Flemming Nielson, Hanne Riis Nielson and Mooly Sagiv -- A 3-Part Type Inference Engine / Francois Pottier -- First-Class Structures for Standard ML / Claudio V. Russo -- Constraint-Based Inter-Procedural Analysis of Parallel Programs / Helmut Seidl and Bernhard Steffen -- Alias Types / Frederick Smith, David Walker and Greg Morrisett -- Polyvariant Flow Analysis with Constrained Types / Scott F. Smith and Tiejun Wang -- On Exceptions Versus Continuations in the Presence of State / Hayo Thielecke -- Equational Reasoning for Linking with First-Class Primitive Modules / J. B. Wells and Rene Vestergaard
Control code
43641438
Dimensions
24 cm
Extent
xiii, 428 pages
Isbn
9783540672623
Isbn Type
(softcover : alk. paper)
Lccn
00029660
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...