FAC
2000
13 years 4 months ago
2000
FAC
2000
13 years 4 months ago
2000
Typically, program design involves constructing a program P that implements a given specification S; that is, the set P of executions of P is a subset of the set S of executions s...
FAC
2000
13 years 4 months ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
FAC
2000
13 years 4 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
FAC
2000
13 years 4 months ago
2000
s and Abstract Machines Stephan Diehl Universit