search for books and compare prices
Tables of Contents for Programming Languages and Systems
Chapter/Section Title
Page #
Page Count
Invited Paper
Functional Nets
1
25
Martin Odersky
Regular Papers
Faithful Translations between Polyvariant Flows and Polymorphic Types..
26
15
Torben Amtoft
Franklyn Turbak
On the Expressiveness of Event Notification in Data-Driven Coordination Languages
41
15
Nadia Busi
Gianluigi Zavattaro
Flow-Directed Closure Conversion for Typed Languages
56
16
Henry Cejtin
Suresh Jagannathan
Stephen Weeks
Directional Type Checking for Logic Programs: Beyond Discriminative Types
72
16
Witold Charatonik
Formalizing Implementation Strategies for First-Class Continuations
88
16
Olivier Danvy
Correctness of Java Card Method Lookup via Logical Relations
104
15
Ewen Denney
Thomas Jensen
Compile-Time Debugging of PC Programs Working on Trees
119
16
Jacob Elgaard
Anders Moller
Michael I. Schwartzbach
A Calculus for Compiling and Linking Classes
135
15
Kathleen Fisher
John Reppy
Jon G. Riecke
Abstract Domains for Universal and Existential Properties
150
15
Andrew Heaton
Patricia M. Hill
Andy King
A Type System for Bounded Space and Functional In-Place Update--Extended Abstract
165
15
Martin Hofmann
Secure Information Flow as Typed Process Behaviour
180
20
Kohei Honda
Vasco Vasconcelos
Nobuko Yoshida
Implementing Groundness Analysis with Definite Boolean Functions
200
15
Jacob M. Howe
Andy King
The Correctness of Type Specialisation
215
15
John Hughes
Type Classes with Functional Dependencies
230
15
Mark P. Jones
Sharing Continuations: Proofnets for Languages with Explicit Control
245
15
Julia L. Lawall
Harry G. Mairson
A Calculus for Link-Time Compilation
260
15
Elena Machkasova
Franklyn A. Turbak
Improving the Representation of Infinite Trees to Deal with Sets of Trees Laurent Mauborgne (Ecole Normale Superieure)
275
15
On the Translation of Procedures to Finite Machines
290
15
Markus Muller-Olm
Andreas Wold
A Kleene Analysis of Mobile Ambients
305
15
Flemming Nielson
Hanne Riis Nielson
Mooly Sagiv
A 3-Part Type Inference Engine
320
16
Francois Pottier
First-Class Structures for Standard ML
336
15
Claudio V. Russo
Constraint-Based Inter-Procedural Analysis of Parallel Programs
351
15
Helmut Seidl
Bernhard Steffen
Alias Types
366
16
Frederick Smith
David Walker
Greg Morrisett
Polyvariant Flow Analysis with Constrained Types
382
15
Scott F. Smith
Tiejun Wang
On Exceptions Versus Continuations in the Presence of State
397
15
Hayo Thielecko
Equational Reasoning for Linking with First-Class Primitive Modules
412
17
J. B. Wells
Rene Vestergaard
Author Index
429