A Two-Level Logic Approach to Reasoning About Typed Specification Languages.

Mary Southern Kaustuv Chaudhuri

Published in: FSTTCS (2014)

Keyphrases

specification languages
formal specification
object oriented programs
formal theory
first order logic
higher order
lambda calculus
model checking
artificial intelligence
spatial reasoning
logic programming
qualitative reasoning
modal operators
object oriented
information systems
databases
complete axiomatization