ABSTRACT
The aim of this report is to show that, within the limits of what we know how to do efficiently with computers, it is possible to design a system of types that, to a good degree, models the conceptual hierarchies that we use in our everyday discourse.
- Wirth, N.: The Programming Language PASCAL Acta Informatica, 1, 1 (1971), 35--63Google ScholarDigital Library
- Dahl, O-J and C. A. R. Hoare: Hierarchical Program Structures In "Structured Programming", by Dahl, Dijkstra and Hoare Academic Press, New York (1972) Google ScholarDigital Library
- van Wijngaarden, A., et. al.: Report on the Algorithmic Language ALGOL 68 Numerische Mathematic, 14 (1969), 79--128Google ScholarDigital Library
- Wegbriet, B.: The Treatment of Data Types in EL 1 Comm. of the ACM, Vol. 17, No. 5 (May 1974) Google ScholarDigital Library
- Ingargiola, G.: Basic Features of CALEX Programming Report No. 9, Calif. Institute of Technology (1974)Google Scholar
- Hoare, C. A. R.: An Axiomatic Definition of the Programming Language PASCAL In "International Symposium on Theoretical Programming" Edited by G. Goos. Lecture Notes in Computer Science No. 5 Springer-Verlag (1974) Google ScholarDigital Library
Recommendations
An Introduction to the Construction and Verification of Alphard Programs
The programming language Alphard is designed to provide support for both the methodologies of "well-structured" programming and the techniques of formal program verification. Language constructs allow a programmer to isolate an abstraction, specifying ...
On the Semantics of “Data Type”
This paper considers the general problem of specifying the meaning of programming languages that include “data type definition facilities.” The fundamental question posed in attempting to define such languages is: “what meaning should be given to a data ...
Semantics for an Actor-Based Real-Time Language
WPDRTS '96: Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time SystemsWe give formal semantics for a distributed concurrent object-oriented real-time programming language based on a variant of the actor model which includes an extension enabling the specification of time constraints on message-invocation. Real-time ...
Comments