Compositional characterization of observable program properties.

Bernhard Steffen C. Barry Jay Michael Mendler

Published in: RAIRO Theor. Informatics Appl. (1992)

Keyphrases

structural properties
desirable properties
topological properties
database
neural network
genetic algorithm
clustering algorithm
case study
image segmentation
wide range
natural language
computer programs
program execution
imperative programs