Conditional Lambda-Theories and the Verification of Static Properties of Programs

Mitchell Wand Zheng-Yu Wang

Published in: LICS (1990)

Keyphrases

artificial intelligence
structural properties
desirable properties
imperative programs
database
genetic algorithm
information systems
theoretical framework
fixed point
conditional probabilities