An efficient high-level man-machine interface

The authors focus on efficiency aspects of dialogues, defining efficient dialogues as those that dynamically evolved during the interaction with the user so as to make the dialogue as short as possible. The main tool they use to shorten the dialogue is data dependency analysis of the dialogue specification, including partial evaluation of the specification. They show that, by use of a dialogue-application step that defines the dialogue items and dependencies, it is possible to use compilation techniques to help the dialogue manager create an efficient dialogue from only a high-level outline.<>