Verifying Fran programs


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.] 


Cite this paper

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