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. In: Davies, J. and Schulte, W. and Barnett, M., (eds.) Formal Methods and Software Engineering. Lecture Notes in Computer Science, Volume 3308 . Springer Berlin Heidelberg, pp. 146-161. ISBN 9783540238416
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
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: | Book Item | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Series Name: | Lecture Notes in Computer Science | ||||
Publisher: | Springer Berlin Heidelberg | ||||
ISBN: | 9783540238416 | ||||
ISSN: | 0302-9743 | ||||
Book Title: | Formal Methods and Software Engineering | ||||
Editor: | Davies, J. and Schulte, W. and Barnett, M. | ||||
Official Date: | 2004 | ||||
Dates: |
|
||||
Volume: | Volume 3308 | ||||
Number of Pages: | 16 | ||||
Page Range: | pp. 146-161 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Title of Event: | 6th International Conference on Formal Engineering Methods | ||||
Location of Event: | Seattle, WA | ||||
Date(s) of Event: | NOV 08-12, 2004 | ||||
Related URLs: |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |