This paper is a tutorial introduction to the theory of programming language semantics developed by D. Scott and C. Strachey. The application of the theory to formal language specification is demonstrated and other app...
详细信息
This paper is a tutorial introduction to the theory of programming language semantics developed by D. Scott and C. Strachey. The application of the theory to formal language specification is demonstrated and other applications are surveyed. The first language considered, LOOP, is very elementary and its definition merely introduces the notation and methodology of the approach. Then the semantic concepts of environments, stores, and continuations are introduced to model classes of programming language features and the underlying mathematical theory of computation due to Scott is motivated and outlined. Finally, the paper presents a formal definition of the language GEDANKEN.
A simple correspondence is presented between the elementary constructs of programming languages and the lambda-calculus. The correspondence is obtained by using intuitive, functional interpretations of programming lan...
详细信息
This paper reports on the design and development of a high level language, Malus, for use in implementing a time‐sharing system. Emphasized are the ways that the language and its compiler accommodate the specialized ...
详细信息
An interpreted two-sorted logic is defined to allow the representation of a subclass of flowchart schemata. A decision procedure for the equivalence of simple representing formulae within the logic is developed and as...
详细信息
An interpreted two-sorted logic is defined to allow the representation of a subclass of flowchart schemata. A decision procedure for the equivalence of simple representing formulae within the logic is developed and as a consequence a decision procedure for flowchart schemata within the subclass is demonstrated. Applications of the techniques developed within the paper result in further decision procedures for the equivalence of flowchart schemata in other subclasses. In addition, a decision procedure for the equivalence of programs in a simple programming language is given.
Microprogramming commonly executed operations can improve the computational speed of data processing systems. This paper describes how microprogramming may be used to execute directly the intermediate text generated b...
详细信息
The design and implementation of a system development language which is economical to implement is described. Both macro processing and compiling techniques are used to translate it. The advantages and disadvantages o...
详细信息
This paper describes a method of writing compilers which can easily be extended or altered. Two applications of the method are described;the first is a conventional programming language called Babel and the second is ...
详细信息
The preliminary specification of a systems implementation language, called BLISS-360, is given. BLISS-360 is intended to be used for genera- tion of software for the IBM S/360 computer, and is patterned after BLISS-10...
详细信息
The preliminary specification of a systems implementation language, called BLISS-360, is given. BLISS-360 is intended to be used for genera- tion of software for the IBM S/360 computer, and is patterned after BLISS-10 which was originally designed for the PDP-10. The Backus- Naur Form description of BLISS-360 is given in a form acceptable to the Mixed -Strategy Precedence parser of the XPL Compiler Generator System. Thus, the XPL System can be used to aid future developmental efforts leading to a completed compiler for BLISS-360.
暂无评论