Une formalisation des systèmes conversationnels
RAIRO. Informatique théorique, Tome 15 (1981) no. 4, pp. 303-336.
@article{ITA_1981__15_4_303_0,
     author = {Queinnec, C.},
     title = {Une formalisation des syst\`emes conversationnels},
     journal = {RAIRO. Informatique th\'eorique},
     pages = {303--336},
     publisher = {EDP-Sciences},
     volume = {15},
     number = {4},
     year = {1981},
     mrnumber = {670727},
     zbl = {0488.68073},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1981__15_4_303_0/}
}
TY  - JOUR
AU  - Queinnec, C.
TI  - Une formalisation des systèmes conversationnels
JO  - RAIRO. Informatique théorique
PY  - 1981
SP  - 303
EP  - 336
VL  - 15
IS  - 4
PB  - EDP-Sciences
UR  - http://www.numdam.org/item/ITA_1981__15_4_303_0/
LA  - fr
ID  - ITA_1981__15_4_303_0
ER  - 
%0 Journal Article
%A Queinnec, C.
%T Une formalisation des systèmes conversationnels
%J RAIRO. Informatique théorique
%D 1981
%P 303-336
%V 15
%N 4
%I EDP-Sciences
%U http://www.numdam.org/item/ITA_1981__15_4_303_0/
%G fr
%F ITA_1981__15_4_303_0
Queinnec, C. Une formalisation des systèmes conversationnels. RAIRO. Informatique théorique, Tome 15 (1981) no. 4, pp. 303-336. http://www.numdam.org/item/ITA_1981__15_4_303_0/

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

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

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

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

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

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

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

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

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

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

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