Systemes schematiques generalises

Vorträge In Der Reihenfolge Des Programms
Part of the Lecture Notes in Computer Science book series (LNCS, volume 48)


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.


Algebraic Semantic Nous Sommes Mathematical Semantic Nous Notons Cette Construction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. #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. #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. #3#.
    Z. Manna, S. Ness et J. Vuillemin "Inductive methods for proving properties of programs" C.ACM 16 pp.491–502 (1973).CrossRefGoogle Scholar
  4. #4#.
    Z. Manna et J. Vuillemin "Fixpoint approach to the theory of computation" C.ACM 15 pp.528–536 (1972).CrossRefGoogle Scholar
  5. #5#.
    M. Nivat "Sur l'interprétation des schémas de programme monadiques" Rapport IRIA-Laboria no 1 (1972).Google Scholar
  6. #6#.
    M. Nivat "On the interpretation of recursive polyadic schemas" Instituto Nazionale di Alta Matematica, Symposia Matematica, Volume XV (1974).Google Scholar
  7. #7#.
    D. Scott et C. Strachey "Toward a mathematical semantics for computer languages" Tech. Monography PRG-6, Oxford University, Oxford (1971).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • L. Kott

There are no affiliations available

Personalised recommendations