Floyds Principle, Correctness Theories and Program Equivalence.

Jan A. Bergstra Jerzy Tiuryn John V. Tucker

Published in: Theor. Comput. Sci. (1982)

Keyphrases

program execution
information systems
decision making
computer programs
cognitive psychology
database
real time
artificial intelligence
learning environment
expert systems
theoretical framework