Skip to main content
SpringerLink
Log in

Systemes schematiques generalises

  • Vorträge In Der Reihenfolge Des Programms
  • Conference paper
  • First Online:
Theoretical Computer Science

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

Abstract

We extend algebraic semantics introduced by M.Nivat #5,6# in order to construct a semantics of an ALGOL-like computer language which give us answers to the problems of call-by-value, assignment statements and initialization of local variables. With this semantics and an inductive method (related to our formalism) so powerful as computionnal induction we justify the inductive assertion method of C.A.Hoare #1#.Hence we extend results of Z.Manna and J.Vuillemin #4# to a strictly larger family of programs.

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.

Bibliographie

  1. C.A. Hoare "Procedures and parameters:An axiomatic approach" in Lectures Notes in Mathematics 188 (E. Engeler Ed.) pp.102–116, Springer-Verlag, Berlin (1971).

    Google Scholar 

  2. L. Kott "Approche par le magma d'un langage de programmation type ALGOL: sémantique et vérifications de programme" Thèse de 3o cycle, Université Paris VII (1976).

    Google Scholar 

  3. Z. Manna, S. Ness et J. Vuillemin "Inductive methods for proving properties of programs" C.ACM 16 pp.491–502 (1973).

    Article  Google Scholar 

  4. Z. Manna et J. Vuillemin "Fixpoint approach to the theory of computation" C.ACM 15 pp.528–536 (1972).

    Article  Google Scholar 

  5. M. Nivat "Sur l'interprétation des schémas de programme monadiques" Rapport IRIA-Laboria no 1 (1972).

    Google Scholar 

  6. M. Nivat "On the interpretation of recursive polyadic schemas" Instituto Nazionale di Alta Matematica, Symposia Matematica, Volume XV (1974).

    Google Scholar 

  7. D. Scott et C. Strachey "Toward a mathematical semantics for computer languages" Tech. Monography PRG-6, Oxford University, Oxford (1971).

    Google Scholar 

Download references

Authors
  1. L. Kott
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1977 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kott, L. (1977). Systemes schematiques generalises. In: Theoretical Computer Science. Lecture Notes in Computer Science, vol 48. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08138-0_16

Download citation

  • DOI: https://doi.org/10.1007/3-540-08138-0_16

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08138-8

  • Online ISBN: 978-3-540-37389-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation