On Relative Completeness of Programming Logics.

Michal Grabowski

Published in: POPL (1984)

Keyphrases

programming language
expressive power
inference rules
neural network
modal logic
object oriented programming
programming environment
computer science
database
databases
case study
computer programming
conditional logic