Towards Modular Algebraic Specifications for Pointer Programs: A Case Study.

Published in: Rewriting, Computation and Proof (2007)

Keyphrases

recursive programs
data structure
control flow
case study
data sets
test bed
real time
logic programs
formal specification
control structures
databases
artificial intelligence
high level
higher order
automatic programming