NADA 1998 | Sciweavers

26

NADA
1998
Springer

136views Hardware» more NADA 1998»

Towards an Algebraic Specification of the Java Virtual Machine

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

12

click to vote

NADA
1998
Springer

123views Hardware» more NADA 1998»

Algebraic Models of Superscalar Microprocessor Implementations: A Case Study

13 years 9 months ago

Download www.cs.swan.ac.uk

Anthony C. J. Fox, Neal A. Harman

claim paper

Read More »

15

click to vote

NADA
1998
Springer

116views Hardware» more NADA 1998»

Streams, Stream Transformers and Domain Representations

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