Étude et implémentation d'un système de déduction pour logique algorithmique
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 22 (1988) no. 1, pp. 57-92.
@article{ITA_1988__22_1_57_0,
     author = {Garcia, Fran\c{c}oise},
     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},
     pages = {57--92},
     publisher = {EDP-Sciences},
     volume = {22},
     number = {1},
     year = {1988},
     mrnumber = {945925},
     zbl = {0655.68118},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1988__22_1_57_0/}
}
TY  - JOUR
AU  - Garcia, Françoise
TI  - Étude et implémentation d'un système de déduction pour logique algorithmique
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1988
SP  - 57
EP  - 92
VL  - 22
IS  - 1
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1988__22_1_57_0/
LA  - fr
ID  - ITA_1988__22_1_57_0
ER  - 
%0 Journal Article
%A Garcia, Françoise
%T Étude et implémentation d'un système de déduction pour logique algorithmique
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1988
%P 57-92
%V 22
%N 1
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1988__22_1_57_0/
%G fr
%F 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, Volume 22 (1988) no. 1, pp. 57-92. http://www.numdam.org/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 | Zbl

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

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

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 | Zbl

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 | Zbl

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

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 | Zbl

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

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 | Zbl

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 | Zbl

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

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 | Zbl

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

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 | Zbl

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.