μετα 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
 

 

 

 

 

Proving Correctness of Compiler Optimizations by Temporal Logic

Invited Talk

David Lacey (Oxford University),
Neil D. Jones (University of Copenhagen),
Eric Van Wyk (Oxford University) and Carl C. Frederiksen (University of Copenhagen)

 

   

Presentation pdf 148 KB