Accessibility navigation


Program transformations enable verification tools to solve interactive fiction games

Lester, M. ORCID: https://orcid.org/0000-0002-2323-1771 (2020) Program transformations enable verification tools to solve interactive fiction games. In: 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 29th June 2020, Virtual.

[img]
Preview
Text (Open Access) - Published Version
· Available under License Creative Commons Attribution Non-commercial No Derivatives.
· Please see our End User Agreement before downloading.

133kB

It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.

Abstract/Summary

We present a work-in-progress case study on using program verification tools, specifically model-checkers for C programs, to solve simple interactive fiction games from the early 1980s. Off-the-shelf model-checking tools are unable to handle the games in their original form. In order to work around this, we apply a series of program transformations that do not change the behaviour of the program. An interesting aspect of these games is that they use a simple, interpreted language to script in-game events. This turns out to be the most difficult part of the program for verification tools to handle. Our case study thus provides some insights that may be applicable more generally to verification and analysis of programs that interpret scripting languages.

Item Type:Conference or Workshop Item (Paper)
Refereed:Yes
Divisions:Science > School of Mathematical, Physical and Computational Sciences > Department of Computer Science
ID Code:99135
Publisher:Programme Committee of 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation

Downloads

Downloads per month over past year

University Staff: Request a correction | Centaur Editors: Update this record

Page navigation