Lab for Automated Reasoning and Analysis LARA

Lecture 10: Quantifier Elimination, Partial Evaluation, and Synthesis

Quantifier Elimination Basics

Synthesis

Comfusy tool demo

William Cook: Online Partial Evaluation of Model Interpreters

Talk Video

A reference on partial evaluation: Partial Evaluation and Automatic Program Generation

A partial evaluation system: TEMPO

 
sav10/lecture_10.txt · Last modified: 2010/05/03 09:57 by vkuncak
 
© EPFL 2018 - Legal notice