Symbolic Interpretation and Tracing of PASCAL-Programs.

Guido Persch Georg Winterstein

Published in: ICSE (1978)

Keyphrases

high level
intermediate level
symbolic representation
image interpretation
computer programs
provably correct
data mining
control structures
answer sets
artificial intelligence
object detection
relational databases
object recognition
automatic programming
multiscale
symbolic data
control program