NADA 1998 | Sciweavers

253

NADA
1998
Springer

136views Hardware» more NADA 1998»

Towards an Algebraic Specification of the Java Virtual Machine

15 years 10 months ago

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

K. Stephenson

claim paper

Read More »

115

Voted

NADA
1998
Springer

123views Hardware» more NADA 1998»

Algebraic Models of Superscalar Microprocessor Implementations: A Case Study

15 years 10 months ago

Download www.cs.swan.ac.uk

Anthony C. J. Fox, Neal A. Harman

claim paper

Read More »

130

click to vote

NADA
1998
Springer

116views Hardware» more NADA 1998»

Streams, Stream Transformers and Domain Representations

15 years 10 months ago

Download www.cs.swan.ac.uk

Jens Blanck, Viggo Stoltenberg-Hansen, J. V. Tucke...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers