The Library
CSP representation of game semantics for second-order idealized Algol
Tools
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).
|
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-400.pdf - Other - Requires a PDF viewer. Download (414Kb) | Preview |
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: |
|
||||
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: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |