Sciweavers

NADA
1998
Springer

Towards an Algebraic Specification of the Java Virtual Machine

13 years 10 months ago
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
K. Stephenson
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where NADA
Authors K. Stephenson
Comments (0)