Symbolic Analysis of Imperative Programming Languages.

Bernd Burgstaller Bernhard Scholz Johann Blieberger

Published in: JMLC (2006)

Keyphrases

programming language
object oriented
high level
strongly typed
general purpose
software engineering
object oriented programming
lambda calculus
machine learning
logic programming
databases
data structure
higher order
programming environment
concurrent programming