Towards an Algebraic Specification of the Java Virtual Machine

abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithmic flavour

• Type: Conference
• Year: 1998
• Where: NADA
• Authors: K. Stephenson
• Keywords: Algebraic Operational Semantics, Algebraic Syntax Processing, Hardware, Modular Composition, NADA 1998