Introduction and History
Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. The correctness of the implementation has been proved by a mechanical theorem prover.
KeywordsTheorem Prover Assembly Language Abstract Machine Denotational Semantic Machine Code
Unable to display preview. Download preview PDF.