Operational Machine Specification in a Functional Programming Language (1995)
by
P. W. M. Koopman
| Citations: | 1 - 1 self |
BibTeX
@MISC{Koopman95operationalmachine,
author = {P. W. M. Koopman},
title = {Operational Machine Specification in a Functional Programming Language},
year = {1995}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper advocates the use functional programming languages for the formal specification of (abstract) machines. The presented description method describes machines by a two-level model. At the bottom layer machine components and the micro instructions to handle them are described by using an abstract data type. The top layer describes the machine instructions in terms of these micro instructions
