Verifying Fran programs

Abstract

Fran is a system for functional reactive animation. This note explores the way that some of the features of Fran can be interpreted as logical formulas, referring in particular to the example of a lift animation written in Fran. [First written November 1998; revised February and April 1999.] 

Topics

Cite this paper

@inproceedings{Thompson1999VerifyingFP, title={Verifying Fran programs}, author={Simon Elwood- Thompson}, year={1999} }