J. B. Dennis
- J. B. Dennis, On the design and specification of a common base language. Proceedings of the Symposium on Computers and Automata, Polytechnic Press of the Polytechnic Institute of Brooklyn, New York 1971, pp 47-74. [Also Project MAC Technical Report TR 101, M.I.T., Cambridge, Mass., [1972.] Google Scholar
Digital Library
- D. H. Vanderbilt, Controlled Information Sharing in a Computer Utility. Ph. D. Thesis, Department of Electrical Engineering, M.I.T., Cambridge, Mass., January 1970. [Study of formal models for access control and sharing].Google Scholar
- J. B. Fosseen, Representation of Algorithms by Maximally Parallel Schemata. S. M. Thesis, Department of Electrical Engineering, M.I.T., Cambridge, Mass., June 1972. [Study of a data flow model for simple programs].Google Scholar
- N. Amerasinghe, The Handling of Procedure Variables in a Base Language. S. M. Thesis, Department of Electrical Engineering, M.I.T., Cambridge, Mass., September 1972. [Study of translation of block-structured languages and elimination of need for cyclic structures in programs using functional arguments].Google Scholar
- J. B. Dennis, Modularity. Lecture Notes in Economics and Mathematical Systems, Advanced Course on Software Engineering, Springer-Verlag, 1973, pp 128-182. [Discussion of the concept of program modularity and its implications]. Google ScholarDigital Library
Recommendations
Algebraic specification schemes for data base systems
VLDB '78: Proceedings of the fourth international conference on Very Large Data Bases - Volume 4We propose a hierarchic structuring principle for the formal specification of data base systems, called an algebraic specification scheme, which is based on algebraic specification techniques for data types. Syntax and semantics of an algebraic ...
Operational ontological approach to formal programming language specification
Development of formal programming language specifications is an important problem of theoretical and practical programming. The paper presents operational ontological approach to formal specification of programming languages. It defines formalism for ...
Comments