Proof-Transforming Compilation of Eiffel Programs.

Martin Nordio Peter Müller Bertrand Meyer

Published in: TOOLS (46) (2008)

Keyphrases

provably correct
imperative programs
automatic programming
theorem proving
theorem prover
computer programs
programming environment
intermediate level
linear logic
neural network
multi agent
multiscale
database systems
data sets
e learning
automated theorem proving
genetic algorithm
proof planning
recursive programs