Some techniques for compile-time analysis of user-computer interactions

Authors:
J. M. Lafuente
Affiliations:
IBM Thomas J . Watson Research Center, Yorktown Heights, New York
Venue:
IBM Journal of Research and Development
Year:
1980

Citing 7
Cited 0

Translation of Decision Tables

ACM Computing Surveys (CSUR)
Petri Nets

ACM Computing Surveys (CSUR)
Design of Man-Computer Dialogues

Design of Man-Computer Dialogues
An algorithm for selecting and sequencing statements as a basis for a problem-oriented programming system

ACM '66 Proceedings of the 1966 21st national conference
The specification of data-directed interactive user-computer dialogues.

The specification of data-directed interactive user-computer dialogues.
Human Problem Solving

Human Problem Solving
A language design for concurrent processes

AFIPS '68 (Spring) Proceedings of the April 30--May 2, 1968, spring joint computer conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Compile-time techniques for analyzing user-computer interactions and the relationships and dependencies among items of data that exist during the execution of interactive application programs are presented. These techniques are useful in constructing efficient compilers for languages in which such interactions and data item relationships and dependencies are described by nonprocedural statements. The practical value of using nonprocedural descriptions is that they ease the task of the application programmer.