Sciweavers

NADA
1998
Springer
136views Hardware» more  NADA 1998»
15 years 1 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 algorithm...
K. Stephenson
54
Voted
NADA
1998
Springer
123views Hardware» more  NADA 1998»
15 years 1 months ago
Algebraic Models of Superscalar Microprocessor Implementations: A Case Study
Anthony C. J. Fox, Neal A. Harman
NADA
1998
Springer
116views Hardware» more  NADA 1998»
15 years 1 months ago
Streams, Stream Transformers and Domain Representations
Jens Blanck, Viggo Stoltenberg-Hansen, J. V. Tucke...