CAL Programs.

Michael Altenhofen Egon Börger

Published in: WADT (2008)

Keyphrases

computer programs
neural network
high level
multiscale
control flow
intermediate level
automatic programming
provably correct
free software