Advertisement

Formal definition of semantics of generalized control regimes

  • L. Aiello
  • M. Aiello
  • G. Attardi
  • P. Cavallari
  • G. Prini
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. (Aie74).
    Aiello,L.,Aiello,M.,Weyhrauch,R.W., The semantics of PASCAL in LCF, AIM 221, Stanford University, 1974Google Scholar
  2. (Aie75).
    Aiello,L.,Aiello,M.,Attardi,G.,Prini,G., Informal proofs formally checked by machine, Annals of the Logic International Summer Seminar, Clermont-Ferrand, 1975Google Scholar
  3. (Bob73).
    Bobrow,D.,Wegbreit,B., A model and stack implementation of multiple environments, Comm. ACM, 591–603, 1973Google Scholar
  4. (Mi172).
    Milner,R., Logic for computable functions: description of a machine implementation, AIM 169, Stanford University, 1972Google Scholar
  5. (Sco69).
    Scott,D., A type theoretical alternative to CUCH, ISWIM, OWHY, Unpublished Paper, 1969Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • L. Aiello
    • 1
  • M. Aiello
  • G. Attardi
  • P. Cavallari
  • G. Prini
    • 2
  1. 1.IEI del CNRPisaItaly
  2. 2.ISI — Università di PisaPisaItaly

Personalised recommendations