μετα 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
Important Dates
Registration
Visa Support
Place
Contacts
History
Posters
Sponsors
 

 

 

 

 

Inferring and Proving Properties of Functional Programs by Means of Supercompilation

Ilya Klyuchnikov,
Keldysh Institute of Applied Mathematics, Russian Academy of Sciences

 

   

Presentation pdf 1.7 MB