Some Techniques for Compile-Time Analysis of User-Computer Interactions

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.