Verimag

Détails sur le séminaire

Grande Salle de VERIMAG
19 mai 2011 - 14h00
Towards Implicit Programming
par Viktor Kuncak de EPFL



Abstract:
We argue for a programming model where automated reasoning plays a key
role during (1) interactive program development, (2) program
compilation, and (3) program execution. I will focus on data
manipulation (as opposed to control). I outline our recent results in
complete functional synthesis for integer arithmetic, which is a form
of program compilation based on decision procedures. For program
development, I outline our ongoing work on resolution theorem proving
for interactive synthesis. For program execution, I touch upon the
UDITA system based on Java Pathfinder, and argue that programming
models related to constraint logic programming should play a bigger
role in mainstream software.
For more information, please see: http://lara.epfl.ch/w/impro





Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 911965