Algol-like Languages, Volume 2

Front Cover
Peter O'Hearn, Robert Tennent
Springer, Jan 1, 1997 - Computers - 349 pages
0 Reviews

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Common terms and phrases

Popular passages

Page ii - Frank J. Oles Mathematical Sciences Department IBM TJ Watson Research Center Yorktown Heights, NY 10598
Page ii - Laboratory for the Foundations of Computer Science Department of Computer Science University of Edinburgh Edinburgh, UK
Page 41 - The specification logic of JC Reynolds is a partial-correctness logic for ALGOL 60-like languages with procedures. It is interpreted here as an intuitionistic theory, using a form of possible-world semantics first applied to

References to this book

All Book Search results »

References from web pages

A fibrational framework for possible-world semantics of Algol-like ...
Algol-like languages. In: O¿Hearn, pw, Tennent, rd (Eds.), Progress in Theoretical Computer Science, Birkhäuser, Boston. [25] Plotkin, G. and Abadi, M., ... citation.cfm?id=1236127

Semantics of Dynamic Variables in Algol-like Languages - Ghica ...
A denotational semantic model of an Algol like programming language with local variables, providing fully functional dynamic variable manipulation is ... 365165.html

Algol-Like Languages
Algol-like Languages. edited by pw O'Hearn, Queen Mary and Westfield College, London, UK rd Tennent Queen's University, Kingston, Ontario, Canada ... ~ohearn/ Algol/ algol.html

Objects and Classes in Algol-Like Languages
of object-oriented programming in the context of Algol-like languages. ... The major developments in the research on Algol-like languages are collected in ... retrieve/ pii/ S089054010192927X

An approach to deciding observational equivalence of Algol-like ...
Algorithmic Game Semantics, Algol-like Languages, Automata. Theory, Software Model Checking. Contents. 1. Introduction. 3. 1.1 Algorithmic Game Semantics ... pub/ Documents/ techpapers/ Luke.Ong/

Model Checking Algol-Like Languages Using Game Semantics
Tennent, editors, Algol-like languages. Birkhauser, 1997. 4. em Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999. ... index/ 25TDMG4YQC16H0RB.pdf

On the Semantics of the Bad-Variable Constructor in Algol-like ...
Key words: Algol-like languages, game semantics, full ... of Algol-like languages, including the fully abstract games-based models [2,3]. ... files/ mfps19/ 83014.pdf

LFCS reports by Author: T
LFCS report ECS-LFCS-86-5; Quantification in Algol-like Languages R.Tennent ... Correctness of Data Representations in Algol-like Languages rd Tennent ... reports/ author/ authorT.html

Algol-like Languages Journals, Books & Online Media | Springer
Algol-like Languages - New & Forthcoming Titles. ... Algol-like Languages. A Birkhäuser book. Titles of this volume package. Titles of this volume package ... series/ 4947

livre algol-like languages : vol i, ouvrages generaux. methodes de ...
livre ouvrages generaux. methodes de programmation notice/ frPIOOSS2YXLURSO.html