A Method of Verification of Functional Programs Based on Graph Models

Andrew Mironov,
Moscow State University, Russia

 

Abstract

Full text 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.