Preview
Unable to display preview. Download preview PDF.
References
Aiello,L.,Aiello,M.,Weyhrauch,R.W., The semantics of PASCAL in LCF, AIM 221, Stanford University, 1974
Aiello,L.,Aiello,M.,Attardi,G.,Prini,G., Informal proofs formally checked by machine, Annals of the Logic International Summer Seminar, Clermont-Ferrand, 1975
Bobrow,D.,Wegbreit,B., A model and stack implementation of multiple environments, Comm. ACM, 591–603, 1973
Milner,R., Logic for computable functions: description of a machine implementation, AIM 169, Stanford University, 1972
Scott,D., A type theoretical alternative to CUCH, ISWIM, OWHY, Unpublished Paper, 1969
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aiello, L., Aiello, M., Attardi, G., Cavallari, P., Prini, G. (1976). Formal definition of semantics of generalized control regimes. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_171
Download citation
DOI: https://doi.org/10.1007/3-540-07854-1_171
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07854-8
Online ISBN: 978-3-540-38169-3
eBook Packages: Springer Book Archive