Program Checking with Less Hassle.

Julian Tschannen Carlo A. Furia Martin Nordio Bertrand Meyer

Published in: VSTTE (2013)

Keyphrases

program execution
data model
database
computer programs
real time
data sets
databases
decision making
three dimensional
programming language
static analysis
programming environment
automatic programming
program synthesis