Computability and Completeness in Logics of Programs (Preliminary Report)

David Harel Albert R. Meyer Vaughan R. Pratt

Published in: STOC (1977)

Keyphrases

expressive power
data quality
database
modal logic
computer programs
automatic programming
real time
genetic algorithm
decision trees
programming language
deductive databases
conditional logic
control structures
provably correct
prolog programs