Principles of functional programming
Principles of functional programming
The architecture of microprocessors
The architecture of microprocessors
Elements of functional languages
Elements of functional languages
The Clipper processor: instruction set architecture and implementation
Communications of the ACM
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
Hi-index | 0.00 |
In order to apply formal verification methods to actual microprocessors, we study the functional semantics of microprocessors of the "Von Neumann Machine" type, at different specification and description levels.We settle a functional formalism from which the semantic equivalence between adjacent levels will be proved.Here, we propose a general methodology to define the functional semantics of a processor at the Microprogram level. We also present the correspondence between this level and the Machine Instruction level.