Dimovski, Aleksandar and Lazic, Ranko (2004) CSP representation of game semantics for second-order idealized Algol. University of Warwick. Department of Computer Science. (Department of Computer Science research report).

Preview

PDF (Department of Computer Science Research Report) WRAP_cs-rr-400.pdf - Other - Requires a PDF viewer. Download (414Kb) | Preview

Request Changes to record.

Abstract

We show how game semantics of an interesting fragment of Idealised Algol can be represented compositionally by CSP processes. This enables observational equivalence and a range of properties of terms-in-context (i.e. open program fragments) to be checked using the FDR tool. We have built a prototype compiler which implements the representation, and initial experimental results are positive.

Item Type:	Report
Subjects:	Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions:	Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH):	Game-theoretical semantics
Series Name:	Department of Computer Science research report
Publisher:	University of Warwick. Department of Computer Science
Official Date:	2004
Dates:	Date Event 2004 Completion
Number:	Number 400
Number of Pages:	20
DOI:	CS-RR-400
Institution:	University of Warwick
Theses Department:	Department of Computer Science
Status:	Not Peer Reviewed
Publication Status:	Published
Funder:	Engineering and Physical Sciences Research Council (EPSRC)
Grant number:	GR/S52759/01 (EPSRC)
Related URLs:	Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item

Downloads