Compiler implementation in a formal logical framework.

Jason Hickey Aleksey Nogin Adam Granicz

Published in: MERLIN (2003)

Keyphrases

logical framework
highly optimized
general purpose
belief revision
inference rules
computational complexity
programming language
possibilistic logic
java virtual machine