A Sound and Complete Program Logic for Eiffel.

Martin Nordio Cristiano Calcagno Peter Müller Bertrand Meyer

Published in: TOOLS (47) (2009)

Keyphrases

computer programs
classical logic
real time
data sets
logic programming
defeasible logic
deontic logic
expert systems
programming environment
multi valued
logical representation
program code