Abstract
A recent „mathematical” approach to the semantics of programming languages is extended to allow for quasi-parallel execution of processes. A notion of „action” is proposed as a formalization of the kind of process involved, and various ways of action composition are studied. The relevance of the approach for applications in the areas of language design, language description, and proof of program correctness is indicated.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
BEKIC, H.: On the Formal Definition of Programming Languages.— In: Proceedings of the International Computing Symposium, Bonn, 1970, to appear.
BEKIC, H.: An Introduction to Algol 68.— IBM Laboratory Vienna, Techn. Report TR 25.118, 1971.
BEKIC, H., WALK, K.: Formalization of Storage Properties.— In: Symposium on Semantics of Algorithmic Languages, (E. Engeler, ed.), Springer Lecture Notes, Vol. 188 (1971), pp. 28–61.
BURSTALL, R., LANDIN, P.: Programs and their Proofs: an Algebraic Approach.— In: Machine Intelligence 4, (D. Michie, ed.), Elsevier New York (1969) pp. 17–43.
HOARE, C.A.R.: Towards a Theory of Parallel Programming.— The Queen's University of Belfast, 1970.
JONES, C.B., LUCAS, P.: Proving Correctness of Implementation Techniques.— Springer Lecture Notes, Vol. 188 (1971), pp. 178–211.
KARP, R.M., MILLER, R.E.: Parallel Program Schemata.— J. of Computer and System Sciences, 3 (1969), pp. 147–195.
LANDIN, P.: A Program Machine Symmetric Automata Theory.— In: Machine Intelligence 5 (B. Meltzer, D. Michie, eds.), Elsevier New York (1970), pp. 99–120.
MORRIS, F.L.: The next 700 Formal Language Descriptions.— University of Essex, 1971.
PAIR, C.: Concerning the Syntax of Algol 68.— Algol Bulletin No. 31 (1970), pp. 16–27.
PETRI, C.A.: Kommunikation mit Automaten.— Schriften des Rheinisch-Westfälischen Institutes für Instrumentelle Mathematik, Bonn, 1962.
SCOTT, D.: Outline of a Mathematical Theory of Computation.— In: Proceedings of the Fourth Annual Princeton Conference on Information Sciences and Systems, 1970, pp. 169–176.
SCOTT, D.: The Lattice of Flowdiagrams.— Springer Lecture Notes, 188 (1970), pp. 311–366.
SCOTT, D.: Lattice-theoretic Models for the λ-Calculus.— IFIP WG 2.2 Bulletin No.5, 1970.
SCOTT, D., STRACHEY, C.: Toward a Mathematical Semantics for Computer Languages.— In: Proceedings of the Symposium on Computers and Automata, Brooklyn, to appear.
WALK, K., et al.: Abstract Syntax and Interpretation of PL/I.— IBM Laboratory Vienna, Techn. Report TR 25.098, 1969.
WIJNGAARDEN, A. van (ed.): Report on the Algorithmic Language Algol 68.— Num. Math. 14 (1969), pp. 79–218.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bekić, H. (1984). Towards a mathematical theory of processes. In: Jones, C.B. (eds) Programming Languages and Their Definition. Lecture Notes in Computer Science, vol 177. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0048944
Download citation
DOI: https://doi.org/10.1007/BFb0048944
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13378-0
Online ISBN: 978-3-540-38933-0
eBook Packages: Springer Book Archive