ABSTRACT
The VDL system for the description of programming languages which was originally used for the definition of PL/I is extended to the description of processors. This paper shows the relationship between the language of definition and the abstract machine over which the semantics of the language are specified. It is demonstrated that the level of description can be chosen to suit the various needs of the computing community, each level being well nested within its outer level, whilst using only one language of definition.
From the point of view of processor design, indications are given of the means by which a description can be transformed into an implementable system of data paths, registers and drivers.
- 1.Foster, C.C., Computer Architecture, Van Nostrand Reinhold Pub. Co., New York, NY, 1970, Chapter 5.Google Scholar
- 2.Lee, J.A.N., The Formal Definition of the BASIC Language, The Computer Journal, Vol. 15, No. 1, pp 37-41.Google Scholar
- 3.Lucas, P. & Walk, K., On the Formal Description of PL/I, Ann. Rev. in Automatic Prog., Vol. 6., Pt.3, 1969, Pergammon Press.Google Scholar
- 4.McCarthy, J., Towards a Mathematical Theory of Computation, Poc. IFIP Congress 1962, North Holland Publ. Co., Amsterdam, 1962.Google Scholar
Index Terms
- VDL—a Definition system for all levels
Recommendations
VDL—a Definition system for all levels
The VDL system for the description of programming languages which was originally used for the definition of PL/I is extended to the description of processors. This paper shows the relationship between the language of definition and the abstract machine ...
On the definition of definition
An attempt is undertaken to define the word "definition." The correlation of concepts, such as definition, term, discourse, and frame is discussed and a systematic definition of the term "definition" is given.
The formal definition of a real-time language
This paper presents the formal definition of TOMAL (Task-Oriented Microprocessor Applications Language), a programming language intended for real-time systems running on small processors. The formal definition addresses all aspects of the language. ...
Comments