Étude et implémentation d'un système de déduction pour logique algorithmique
Garcia, Françoise
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988), p. 57-92 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1988-01-01
@article{ITA_1988__22_1_57_0,
     author = {Garcia, Fran\c coise},
     title = {\'Etude et impl\'ementation d'un syst\`eme de d\'eduction pour logique algorithmique},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {22},
     year = {1988},
     pages = {57-92},
     mrnumber = {945925},
     zbl = {0655.68118},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1988__22_1_57_0}
}

Garcia, Françoise. Étude et implémentation d'un système de déduction pour logique algorithmique. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988) pp. 57-92. http://gdmltest.u-ga.fr/item/ITA_1988__22_1_57_0/

1. J. W. De Bakker, Recursive Programs as Predicates Transformers, in Formal Descriptions of Programming Concepts, E. J. NEUHOLD éd., North Holland, 1978. | MR 537905 | Zbl 0392.68006

2. J. W. De Bakker, Semantics and Termination of Non Deterministic Recursive Programs, in Automata, Languages and Programming, Edimburgh, 1976. | Zbl 0354.68021

3. B. S. Chlebus, Completness Proofs for Some Logics of Programs, Z. Math Logik und Grundlagen Math., vol. 28, 1982, p. 49-62. | MR 649907 | Zbl 0491.03008

4. G. Cousineau, Les arbres à feuilles indicées : un cadre algébrique de définition des structures de contrôle, Thèse d'état, Paris, 1977.

5. G. Cousineau, An Algebraic Definition of Control Structures, Theoretical computer science, vol. 12, 1980. | MR 585111 | Zbl 0456.68015

6. G. Cousineau, A Programmation en EXEL, Revue technique THOMSON-CSF, vol. 10, n° 2, 1978, et Vol 11, n° 1, 1979.

7. G. Cousineau, The Algebraic Structure of Flowcharts, 8th MFCS Symposium 1979, Lecture Notes in Computer Science, n° 74, Springer Verlag.

8. E. Engeler, Algorithmic Properties of Structures, Math. System Theory, 1, 1967. | MR 224473 | Zbl 0202.00802

9. P. Enjalbert, Contribution à la logique algorithmique. Systèmes de déduction pour arbres et schémas de programmes, Thèse d'état, Paris, 1981.

10. P. Enjabert, Systèmes de déduction pour les arbres et les schémas de programmes, RAIRO Informatique théorique, vol. 14, n° 3 et vol. 14, n° 4, 1980. | Numdam | Zbl 0441.68007

11. P. Enjalbert, Preuves de programmes, Revue technique THOMSON-CSF, vol.12, n° 3, 1980.

12. D. Harel, First Order Dynamic Logic, Lecture Notes in Computer Science, n°68, 1979, Springer Verlag. | MR 567695 | Zbl 0403.03024

13. M. Gordon, R. Milner et C. Wadsworth, Edimburgh LCF, Lecture Notes in Computer Science, n° 78, Springer Verlag. | MR 2049352 | Zbl 0421.68039

14. R. Milner, Logic for Computable Functions Description of a Machine Implementation, Stanford Artificial Intelligence Project, Memo AIM-169, Computer Science Department Report CS 288, mai 1972.

15. R. Milner, LCF : A Way of Doing Proofs with a Machine. Department of Computer Science, Univ. of Edimburgh.

16. R. Milner, A Methodology for Performing Rigorous Proofs About Programs, Proc lst I.B.M. Symposium on Mathematical Foundations of Computer Science, 1976.

17. R. Milner, A Theory ofType Polymorphism in Programming, Journal of computer and system science, n° 17, 1978. | MR 516844 | Zbl 0388.68003

18. R. Milner, HOW ML evolved, in Polymorphism, vol. 1, n° 1, janvier 1983, Bell Cabs., L. CARDELLI et D. MCQUEEN éd.

19. G. Mirkowska, Propositionnal Algorithmic Theory of Arithmetic, Communication manuscrite.

20. G. Mirkowska, Propositionnal Algorithmic Logic, Lecture Notes in Computer Science, n° 74, 1979, Springer Verlag.

21. G. Mirkowska, Algorithmic Logic and its Application in the Theory of Programs, Fundamentale Informaticae, vol. I, n° 1 et vol. 1, n° 2, 1977. | MR 660300 | Zbl 0358.68036

22. L. Nolin et G. Ruggiu, A Formalization of EXEL, Assoc. Comput. Mathematics SIGACT-SIGPLAN, Symposium on the Principles of Programming Languages, Boston, 1973. | Zbl 0308.68011

23. H. Rasiowa, Algorithmic Logic, I.C.S. P.A.S. Reports n° 281, Institute of Computer Science, Academic des Sciences, Varsovie, 1977.

24. A. Salwicki, Formalized Algorithmic Languages, Bull. Acad. Pol. Sci. Ser. Math. Astr. Phys., vol. 18, 1970, p. 227-232. | MR 270852 | Zbl 0198.02801

25. A. Salwicki, On Algorithmic Theory of Stacks, Fundamentae Informaticae, vol. III, n° 1, 1980. | MR 596731 | Zbl 0441.68013

26. A. Salwicki, On Algorithmic Logic and its Applications, Internal Report, Pol. Ac. of Sci., 1978.

27. A. Salwicki, An Algorithmic Approach to Set Theory, Proc. F.C.T. 1977, Lecture Notes in Computer Science, n° 56, 1977, Springer Verlag. | MR 483659 | Zbl 0403.68005

28. F. Garcia, Étude et implémentation en ML/LCF d'un système de déduction pour logique algorithmique, Thèse Docteur-Ingénieur, juin 1985, Université Paris-VII.