Une formalisation des systèmes conversationnels
Queinnec, C.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 15 (1981), p. 303-336 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1981-01-01
@article{ITA_1981__15_4_303_0,
     author = {Queinnec, C.},
     title = {Une formalisation des syst\`emes conversationnels},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {15},
     year = {1981},
     pages = {303-336},
     mrnumber = {670727},
     zbl = {0488.68073},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1981__15_4_303_0}
}

Queinnec, C. Une formalisation des systèmes conversationnels. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 15 (1981) pp. 303-336. http://gdmltest.u-ga.fr/item/ITA_1981__15_4_303_0/

1. J. Allen, The Anatomy of LISP, McGraw Hill, 1978. | Zbl 0424.68012

2. B. N. Barnes An Automata Theoretic Approach to Interactive Computer Graphics Commande Languages, in Applied Computation Theory: Analysis, Design, Modeling, R. T. YEH, éd., Prentice-Hall, 1976, p. 565-581. | MR 474933

3. S. J. Boies et M. F. Spiegel, A Behavioral Analysis of Programming, The use of Interactive Debugging Facilities, Microfiche AD-772/127.

4. S. H. Cameron, D. Ewing et M. Liveright, DIALOG: a Conversational Programming System with a Graphical Orientation, Com. A.C.M., vol. 10, n° 6, juin 1967, p. 349-357.

5. J. P. Crestin et C. Queinnec, Towards Semantics for Graphical Interactions, SEILLAC II, Methodology of Interaction, R. GUEDJ, éd., North Holland, 1979.

6. Y. Chu et E. R. Cannon, Interactive High-Level Language Direct-Execution Microprocessor System, I.E.E.E. Transactions on Software Engineering, vol. SE-2, n° 2, juin 1976, p. 126-134.

7. G. Demars, J. C. Rault et G. Ruggiu, Le langage et les systèmes APL, Masson, Paris, 1974. | Zbl 0311.68001

8. S. Feyock, Transition Diagram-based CAI/HELP Systems, Int. J. Man-Machine Studies, vol. 9, 1977, p. 399-413.

9. D. Fried, On the User's Point of View, in [13], p. 11-21.

10. G. Friesland, Von der Programmerstellung zur Programmierumgebung - Zum Begriff des interaktiven Programmierens, I.F.I., Université de Hambourg, mars 1976.

11. W. J. Hansen, User Engineering Principles for Interactive Systems, A.F.I.P.S., proc., vol. 39, 1971, p. 523-532.

12. J. Hartmanis et R. E. Stearns, Algebraic Structure Theory of sequential Machines, Prentice-Hall, Englewood Cliffs, N.J., 1966. | MR 204224 | Zbl 0154.41701

13. H. J. Hoffmann, Programming by Selection, International Computing Symposium 73, North Holland, 1974, p. 59-65.

14. M. Klerer et J. Reinfelds, Interactive Systems for Experimental applied Maths, Academic Press, N.Y., 1968.

15. I. Kupka. A Formal framework for Dialog Languages, Bericht n° 2, décembre 1972, I.F.I., Université de Hambourg.

16. I. Kupka, H. Oblrquelle et N. Wilsing, An experimental Language for Conversational use, Bericht n° 18, septembre 1975, I.F.I., Université de Hambourg.

17. I. Kupka et N. Wilsing, An APL-based Syntax for Dialog Languages, APL congress 73, GJERLOV, HELMS et NIELSEN, éd., North Holland, 1974, p. 269-273. | Zbl 0271.68019

18. I. Kupka et N. Wilsing, Functions Describing Interactive Programming, Proc. of International Computing Symposium 73, North Holland, 1974, p. 41-45. | Zbl 0269.68013

19. J. Martin, Design of Man-computer Dialog, Prentice-Hall, Englewood Cliffs N. J., 1973.

20. J. G. Mitchell, A. J. Perlis et H. R. Van Zoeren, LC2 a language for Conversational Programming, in: [13].

21. W. M. Newman et R. F. Sproull, Principles of Interactive Computer Graphics, McGraw-Hill, 1973. | Zbl 0288.68017

22. E. I. Organick et J. W. Thomas, Computer-Generated Semantics Displays, Information Processing 74, North Holland, 1974, p. 898-902. | Zbl 0296.68025

23. C. Queinnec, Contribution à l'étude des systèmes interactifs, Thèse de Docteur-ingénieur, Université de Paris-VI, 1978.

24. C. Queinnec, Another LISP Formalization, LISP bulletin (à paraître).

25. R. Schild, Interactive Structured Programming, International Computing Symposium 73, North Holland, 1974, p. 81-84.

26. W. Sibley, The Engineering Assistant, in: [13], p. 138-143.

27. S. C. Shapiro et S. C. Kwasny, Interactive Consulting via Natural Language, Com. A.C.M., vol. 18, n° 8, août 1975, p. 459-462. | Zbl 0308.68021

28. R. Spence et M. Apperley, The Interactive-Graphic Man-Computer Dialogue in Computer-Aided Circuit Design, I.E.E.E. transactions on circuits and systems, vol. CAS-24, n° 2, février 1977, p. 49-61.

29. P. H. Starke, Abstract Automata, North-Holland, 1972. | MR 344026 | Zbl 0225.94035

30. TEXAS INSTRUMENTS, SR 50 : Manuel d'utilisation.