The Library
Data-abstraction refinement : a game semantic approach
Tools
Bakewell, Adam, Dimovski, Aleksandar, Ghica, Dan R. and Lazic, Ranko (2010) Data-abstraction refinement : a game semantic approach. International Journal on Software Tools for Technology Transfer, Vol.12 (No.5). pp. 373-389. doi:10.1007/s10009-010-0143-0 ISSN 1433-2779.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1007/s10009-010-0143-0
Abstract
This paper presents a semantic framework for data abstraction and refinement for verifying safety properties of open programs with integer types. The presentation is focused on an Algol-like programming language that incorporates data abstraction in its type system. We use a fully abstract game semantics in the style of Hyland and Ong and a more intensional version of the model that tracks nondeterminism introduced by abstraction in order to detect false counterexamples. These theoretical developments are incorporated in a new model-checking tool, Mage, which implements efficiently the data-abstraction refinement procedure using symbolic and on-the-fly techniques.
Item Type: | Journal Article | ||||
---|---|---|---|---|---|
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 theory -- Computer programs, Game-theoretical semantics, Computer simulation, Programming languages (Electronic computers) | ||||
Journal or Publication Title: | International Journal on Software Tools for Technology Transfer | ||||
Publisher: | Springer | ||||
ISSN: | 1433-2779 | ||||
Official Date: | September 2010 | ||||
Dates: |
|
||||
Volume: | Vol.12 | ||||
Number: | No.5 | ||||
Page Range: | pp. 373-389 | ||||
DOI: | 10.1007/s10009-010-0143-0 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Funder: | Engineering and Physical Sciences Research Council (EPSRC) | ||||
Grant number: | GR/S52759/01 (EPSRC), EP/D034906/1 (EPSRC) |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |