Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs.

John N. Crossley Iman Poernomo

Published in: J. Univers. Comput. Sci. (2001)

Keyphrases

computer programs
real world
decision making
theorem proving
automatically generating
social networks
information systems
data structure