PITON(ID:2900/pit003)Piton, a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. Moore, J. Strother Piton: A Mechanically Verified Assembly-Level Language Dordrecht - Holland: Kluwer Academic Publishers, 1996 |