@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. Recursive Programs as Predicates Transformers, in Formal Descriptions of Programming Concepts, E. J. NEUHOLD éd., North Holland, 1978. | MR | Zbl
,2. Semantics and Termination of Non Deterministic Recursive Programs, in Automata, Languages and Programming, Edimburgh, 1976. | Zbl
,3. Completness Proofs for Some Logics of Programs, Z. Math Logik und Grundlagen Math., vol. 28, 1982, p. 49-62. | MR | Zbl
,4. Les arbres à feuilles indicées : un cadre algébrique de définition des structures de contrôle, Thèse d'état, Paris, 1977.
,5. An Algebraic Definition of Control Structures, Theoretical computer science, vol. 12, 1980. | MR | Zbl
,6. A Programmation en EXEL, Revue technique THOMSON-CSF, vol. 10, n° 2, 1978, et Vol 11, n° 1, 1979.
,7. The Algebraic Structure of Flowcharts, 8th MFCS Symposium 1979, Lecture Notes in Computer Science, n° 74, Springer Verlag.
,8. Algorithmic Properties of Structures, Math. System Theory, 1, 1967. | MR | Zbl
,9. Contribution à la logique algorithmique. Systèmes de déduction pour arbres et schémas de programmes, Thèse d'état, Paris, 1981.
,10. 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. Preuves de programmes, Revue technique THOMSON-CSF, vol.12, n° 3, 1980.
,12. First Order Dynamic Logic, Lecture Notes in Computer Science, n°68, 1979, Springer Verlag. | MR | Zbl
,13. Edimburgh LCF, Lecture Notes in Computer Science, n° 78, Springer Verlag. | MR | Zbl
, et ,14. 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. LCF : A Way of Doing Proofs with a Machine. Department of Computer Science, Univ. of Edimburgh.
,16. A Methodology for Performing Rigorous Proofs About Programs, Proc lst I.B.M. Symposium on Mathematical Foundations of Computer Science, 1976.
,17. A Theory ofType Polymorphism in Programming, Journal of computer and system science, n° 17, 1978. | MR | Zbl
,18. HOW ML evolved, in Polymorphism, vol. 1, n° 1, janvier 1983, Bell Cabs., L. CARDELLI et D. MCQUEEN éd.
,19. Propositionnal Algorithmic Theory of Arithmetic, Communication manuscrite.
,20. Propositionnal Algorithmic Logic, Lecture Notes in Computer Science, n° 74, 1979, Springer Verlag.
,21. 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. A Formalization of EXEL, Assoc. Comput. Mathematics SIGACT-SIGPLAN, Symposium on the Principles of Programming Languages, Boston, 1973. | Zbl
et ,23. Algorithmic Logic, I.C.S. P.A.S. Reports n° 281, Institute of Computer Science, Academic des Sciences, Varsovie, 1977.
,24. Formalized Algorithmic Languages, Bull. Acad. Pol. Sci. Ser. Math. Astr. Phys., vol. 18, 1970, p. 227-232. | MR | Zbl
,25. On Algorithmic Theory of Stacks, Fundamentae Informaticae, vol. III, n° 1, 1980. | MR | Zbl
,26. On Algorithmic Logic and its Applications, Internal Report, Pol. Ac. of Sci., 1978.
,27. An Algorithmic Approach to Set Theory, Proc. F.C.T. 1977, Lecture Notes in Computer Science, n° 56, 1977, Springer Verlag. | MR | Zbl
,28. É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.
,