Program Logics and Program Verification (position paper).

Leslie Lamport Susan S. Owicki

Published in: Logic of Programs (1981)

Keyphrases

modal logic
program execution
relational databases
expressive power
future directions
computer programs
proof theory
data sets
data mining
web services
database systems
multiscale
query language
software engineering
inference rules
default logic