Invariants and Well-Foundedness in Program Algebra.

Published in: ICTAC (2010)

Keyphrases

imperative programs
data model
program execution
pattern recognition
query language
programming environment
database
real world
d objects
computer programs
static analysis
real numbers
algebraic expressions