An Algebraic Transformation System for Occam Programs.

Michael Goldsmith A. Cox Geoff Barrett

Published in: STACS (1987)

Keyphrases

control structures
automatic programming
provably correct
information systems
answer sets
computer programs
real time
image sequences
data structure
evolutionary algorithm
logic programs
operating system
linear transformation
transformation rules
application programs