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., ...
portal.acm.org/ 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 ...
citeseer.ist.psu.edu/ 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 ...
www.dcs.qmul.ac.uk/ ~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 ...
linkinghub.elsevier.com/ 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 ...
ftp.comlab.ox.ac.uk/ pub/ Documents/ techpapers/ Luke.Ong/ apal-elsart.ps.gz

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. ...
www.springerlink.com/ 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]. ...
www.entcs.org/ 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 ...
www.lfcs.inf.ed.ac.uk/ 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 ...
www.springer.com/ series/ 4947

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