Advertisement

Algorithmes d'Equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples

  • B. Courcelle
  • G. Kahn
  • J. Vuillemin
Tuesday Morning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 14)

Résumé

Nous décrivons ici un algorithme pour décider de l'équivalence dans un domaine dont les éléments sont définis par des systèmes d'équations au point fixe. Cet algorithme est utilisé pour trouver diverses représentations minimales des éléments du domaine.

Keywords

Nous Avons Recursive Program Nous Allons RECURSIVES SIMPLES Interpretation Canonique 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References Bibliographiques

  1. [1]
    Courcelle B. et J. Vuillemin. "Semantics and Axiomatics of a Simple Programming Language". Rapport Laboria no 60 1974.Google Scholar
  2. [2]
    De Roever, W.P. "Operational and Mathematical Semantics for first-order Recursive Program Schemas". (Private Communication).Google Scholar
  3. [3]
    J. Engelfriet. A note on infinite trees. Informations Processing Letters, vol 1, no6, December 1972.Google Scholar
  4. [4]
    Kahn G. "A Preliminary Theory for Parallel Programs". (Rapport Laboria n o 6, Janvier 1973).Google Scholar
  5. [5]
    J. Kral. "Equivalence of modes and the Equivalence of Finite Automata" Algol Bulletin no35, March 1973, (34–35).Google Scholar
  6. [6]
    Lewis C.H., Rosen B.K. "Recursively defined Data Types". IEEE SWAT Symposium (October 1973).Google Scholar
  7. [7]
    Milner R. "Models of LCF". Stanford Computer Science Department Report. CS-332 (1973).Google Scholar
  8. [8]
    Milner R., Weyrauch R. "Proving Compiler Correctness in a mechanized Logic" in Machine Intelligence 7. Edinburgh University Press (1972).Google Scholar
  9. [9]
    Nivat M. "Sur l'Interprétation des Schémas de Programmes Monadiques". Rapport Laboria no1 (Décembre 1972).Google Scholar
  10. [10]
    Pair C. "Concerning the syntax of Algol 68", Algol Bulletin No31 (March 1970) 16–27.Google Scholar
  11. [11]
    Scott D. "Outline of a Mathematical Theory of Computation". Oxford Mono.PRG-2. Oxford University (1970).Google Scholar
  12. [12]
    Vuillemin J. "Proof Techniques for Recursive Programs". Stanford Computer Science Department. Ph.D. Thesis (1973).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • B. Courcelle
    • 1
  • G. Kahn
    • 1
  • J. Vuillemin
    • 1
  1. 1.Iria-LaboriaRocquencourtFrance

Personalised recommendations