Research Catalog
ALGOL-like languages
- Title
- ALGOL-like languages / Peter W. O'Hearn, Robert D. Tennent, editors.
- Publication
- Boston : Birkhäuser, c1997.
Items in the Library & Off-site
Filter by
2 Items
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| v. 2 | Book/Text | Request in advance | JBE 97-757 v. 2 | Offsite | |
| v. 1 | Book/Text | Request in advance | JBE 97-757 v. 1 | Offsite |
Details
- Additional Authors
- Description
- 2 v. : ill.; 24 cm.
- Series Statement
- Progress in theoretical computer science
- Subject
- ALGOL (Computer program language)
- Bibliography (note)
- Includes bibliographical references.
- Contents
- v. 1. Revised report on the algorithmic language ALGOL 60 / Peter Naur ... [et al.]. The varieties of programming language / Christopher Strachey. The essence of ALGOL / John C. Reynolds. ALGOL and functional programming / Peter W. O'Hearn. Orthogonality of assignments and procedures in ALGOL / Matthias Felleisen and Stephen Weeks. IDEALIZED ALGOL and its specification logic / John C. Reynolds. Towards fully abstract semantics for local variables / Albert R. Meyer and Kurt Sieber. Design of the program language FORSYTHE / John C. Reyolds. Assignments for applicative languages / Vipin Swarup, Uday S. Reddy, and Evan Ireland. Syntactic control of interference / John C. Reynolds -- v. 2. Functor categories and store shapes / Frank J. Oles. Using functor categories to generate intermediate code / John C. Reynolds. Semantical analysis of specification logic / Robert D. Tennent -- Semantical analysis of specification logic, 2 / Peter W. O'Hearn and Robert D. Tennent. Full abstraction for the second-order subset / Kurt Sieber. Parametricity and local variables / Peter W. O'Hearn and Robert D. Tennet. Operationally-based reasoning about local variables / Andrew M. Pitts. Syntactic control of interference revisited / Peter W. O'Hearn ... [et al.]. Global state considered unnecessary / Uday S. Reddy. Linearity, sharing and state / Samson Abramsky and Guy McCusker. The essence of PARALLEL ALGOL / Stephen Brookes.
- Call Number
- JBE 97-757
- ISBN
- 0817638806 (vol. 1)
- 0817639373 (vol. 2)
- 0817639365 (set)
- LCCN
- 96046972
- OCLC
- 35714833
- Title
- ALGOL-like languages / Peter W. O'Hearn, Robert D. Tennent, editors.
- Imprint
- Boston : Birkhäuser, c1997.
- Series
- Progress in theoretical computer science
- Bibliography
- Includes bibliographical references.
- Added Author
- O'Hearn, Peter W. (Peter William), 1963-Tennent, R. D., 1944-
- Research Call Number
- JBE 97-757