NADA 1998 | Sciweavers

36

NADA
1998
Springer

136views Hardware» more NADA 1998»

Towards an Algebraic Specification of the Java Virtual Machine

13 years 11 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 »

17

click to vote

NADA
1998
Springer

123views Hardware» more NADA 1998»

Algebraic Models of Superscalar Microprocessor Implementations: A Case Study

13 years 11 months ago

Download www.cs.swan.ac.uk

Anthony C. J. Fox, Neal A. Harman

claim paper

Read More »

18

click to vote

NADA
1998
Springer

116views Hardware» more NADA 1998»

Streams, Stream Transformers and Domain Representations

13 years 11 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

Document Tools

Image Tools

Sciweavers