Lab for Automated Reasoning and Analysis LARA

Lecture 10: Quantifier Elimination, Partial Evaluation, and Synthesis

Quantifier Elimination Basics


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