μετα 2010

Second International Workshop on Metacomputation in Russia
 

July 1-5, 2010, Pereslavl-Zalessky (120 km to the north-east from Moscow), Russia

Home
Call For Papers
News
Submissions
Invited Speakers
Accepted Papers
Program
Photos
Important Dates
Registration
Visa Support
Place
Contacts
History
Posters
Sponsors

 

 

 

 

 

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.