Une formalisation des systèmes conversationnels
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1981)
- Volume: 15, Issue: 4, page 303-336
- ISSN: 0988-3754
Access Full Article
topHow to cite
topQueinnec, C.. "Une formalisation des systèmes conversationnels." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 15.4 (1981): 303-336. <http://eudml.org/doc/92146>.
@article{Queinnec1981,
author = {Queinnec, C.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {interactive systems; equivalence relations on the input language; matrices},
language = {fre},
number = {4},
pages = {303-336},
publisher = {EDP-Sciences},
title = {Une formalisation des systèmes conversationnels},
url = {http://eudml.org/doc/92146},
volume = {15},
year = {1981},
}
TY - JOUR
AU - Queinnec, C.
TI - Une formalisation des systèmes conversationnels
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1981
PB - EDP-Sciences
VL - 15
IS - 4
SP - 303
EP - 336
LA - fre
KW - interactive systems; equivalence relations on the input language; matrices
UR - http://eudml.org/doc/92146
ER -
References
top- 1. J. ALLEN, The Anatomy of LISP, McGraw Hill, 1978. Zbl0424.68012
- 2. B. N. BARNESAn 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. MR474933
- 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. Zbl0311.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. Zbl0154.41701MR204224
- 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. Zbl0191.45801
- 15. I. KUPKA. A Formal framework for Dialog Languages, Bericht n° 2, décembre 1972, I.F.I., Université de Hambourg. Zbl0265.68008
- 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. Zbl0271.68019
- 18. I. KUPKA et N. WILSING, Functions Describing Interactive Programming, Proc. of International Computing Symposium 73, North Holland, 1974, p. 41-45. Zbl0269.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. Zbl0288.68017
- 22. E. I. ORGANICK et J. W. THOMAS, Computer-Generated Semantics Displays, Information Processing 74, North Holland, 1974, p. 898-902. Zbl0296.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. Zbl0308.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. Zbl0225.94035MR344026
- 30. TEXAS INSTRUMENTS, SR 50 : Manuel d'utilisation.
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.