Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Mathematical Foundations of Computer Science

MFCS 1976: Mathematical Foundations of Computer Science 1976 pp 173–179Cite as

Formal definition of semantics of generalized control regimes

  • Communications
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 45))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aiello,L.,Aiello,M.,Weyhrauch,R.W., The semantics of PASCAL in LCF, AIM 221, Stanford University, 1974

    Google Scholar 

  2. Aiello,L.,Aiello,M.,Attardi,G.,Prini,G., Informal proofs formally checked by machine, Annals of the Logic International Summer Seminar, Clermont-Ferrand, 1975

    Google Scholar 

  3. Bobrow,D.,Wegbreit,B., A model and stack implementation of multiple environments, Comm. ACM, 591–603, 1973

    Google Scholar 

  4. Milner,R., Logic for computable functions: description of a machine implementation, AIM 169, Stanford University, 1972

    Google Scholar 

  5. Scott,D., A type theoretical alternative to CUCH, ISWIM, OWHY, Unpublished Paper, 1969

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IEI del CNR, Via S. Maria 46, I-56100, Pisa, Italy

    L. Aiello

  2. ISI — Università di Pisa, Corso Italia 40, I-56100, Pisa, Italy

    G. Prini

Authors
  1. L. Aiello
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Aiello
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. G. Attardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. P. Cavallari
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. G. Prini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Antoni Mazurkiewicz

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation