Second International Workshop on Metacomputation in
July 1-5, 2010, Pereslavl-Zalessky (120 km to the north-east from Moscow), Russia
A Method of Verification of Functional Programs
Based on Graph Models
Moscow State University,
pdf 350 KB
In the paper we introduce a concept of a graph model of a functional program.
We show how to use this model for verification of functional programs.