Towards an Algebraic Specification of the Java Virtual Machine

13 years 8 months ago

Download www.cs.swan.ac.uk

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

K. Stephenson

Real-time Traffic

Algebraic Operational Semantics | Algebraic Syntax Processing | Hardware | Modular Composition | NADA 1998 |

claim paper

» Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation

» Hard RealTime GarbageCollection in the Jamaica Virtual Machine

» HBench Java an applicationspecific benchmarking framework for Java virtual machines

» Developing and debugging algebraic specifications for Java classes

» A Certified Implementation on Top of the Java Virtual Machine

» Towards Byte Code Genetic Programming

» A Specification of Java Loading and Bytecode Verification

» MultiDispatch in the Java Virtual Machine Design and Implementation

Post Info
More Details (n/a)

Added	06 Aug 2010
Updated	06 Aug 2010
Type	Conference
Year	1998
Where	NADA
Authors	K. Stephenson

Comments (0)

Sciweavers

Towards an Algebraic Specification of the Java Virtual Machine

Algebraic Operational Semantics | Algebraic Syntax Processing | Hardware | Modular Composition | NADA 1998 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers