Total Correctness in Nonstandard Logics of Programs.

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

Keyphrases

provably correct
expressive power
data sets
modal logic
automatic programming
information retrieval
conditional logic
web services
case study
search algorithm
query language
inference rules
nonmonotonic logics
truth values
concurrent programs