Forcing as a Program Transformation.

Alexandre Miquel

Published in: LICS (2011)

Keyphrases

computer programs
real world
information systems
program synthesis
database
real time
data sets
case study
data structure
mobile robot
test cases