Skip to main content
SpringerLink
Log in

A non-standard inductive semantics

  • Semantics
  • Conference paper
  • First Online:
Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1990)

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

  • 131 Accesses

Work partially supported by COMPASS-Esprit-BRA-W.G. n 3264, by MPI-40% and by CNR-PF-Sistemi Informatici e Calcolo Parallelo.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Astesiano E. “Inductive Semantics”, to appear in Formal Descriptions of Programming Concepts (Neuhold E.J.; Paul M. eds.), Springer Verlag, 1990.

    Google Scholar 

  2. Aczel, P. “An introduction to inductive definitions”, (J. Barwise ed.) Handbook of Mathematical Logic, Amsterdam, North-Holland, 1977.

    Google Scholar 

  3. Burstall R.; Honsell F. “A natural Deduction Treatment of Operational Semantics”, Proc. 8th Conf. on Foundations of Software Technology and Theoretical Computer Science, Berlin, Springer Verlag, (Lecture Notes in Computer Science n. 287), 1987.

    Google Scholar 

  4. Kahn G. “Natural Semantics”, Proc. of STACS'87, Berlin, Springer Verlag, 1987 (Lecture Notes in Computer Science n. 247), pp. 22–39.

    Google Scholar 

  5. Milner R.; Tofte M. “Co-induction in Relational Semantics”, LFCS report Series, ECS-LFCS-88-65, University of Edinburgh, 1988.

    Google Scholar 

  6. Plotkin, G. “A structural approach to operational semantics”, Lecture notes, AArhus University, 1981.

    Google Scholar 

  7. Plotkin, G. “An operational Semantics for CSP”, (Bjørner, D. ed.), Proc. IFIP TC 2-Working Conference: Formal Description of Programming Concepts II, Garmisch-Partenkirchen, June 1982 Amsterdam, North-Holland, 1983, pp. 199–223.

    Google Scholar 

  8. Stoy, J.E. Denotational semantics: the Scott-Strachey approach to programming language theory, London, The MIT Press, 1977.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica, Università di Genova, Via L.B. Alberti 4, 16132, Genova, Italy

    Gianna Reggio

Authors
  1. Gianna Reggio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Kesav V. Nori C. E. Veni Madhavan

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Reggio, G. (1990). A non-standard inductive semantics. In: Nori, K.V., Veni Madhavan, C.E. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1990. Lecture Notes in Computer Science, vol 472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53487-3_57

Download citation

  • DOI: https://doi.org/10.1007/3-540-53487-3_57

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53487-7

  • Online ISBN: 978-3-540-46313-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation