Synthesis and Structural Analysis of Abstract Programs.

D. F. Cowell Duncan Fyfe Gillies A. A. Kaposi

Published in: Comput. J. (1980)

Keyphrases

structural analysis
civil engineering
three dimensional
image processing
high level
functional programs
intermediate level
low level
higher level
computer programs
information systems
database
programming environment
multiscale
database systems
automatic programming
provably correct
machine learning