| J90-1004 | essence , the technique is a kind of | goal freezing | ( Colmerauer 1982 ) or implicit |
| P89-1002 | Dymetman and Isabelle also introduce | goal freezing | to control expansion . Although |
| P90-1027 | is not the only reason why the | goal freezing | techniques , and their variations |
| J90-1004 | Dymetman and Isabelle also introduce | goal freezing | to control expansion . Although |
| P90-1027 | inherently top-down character of | goal freezing | interpreters may occasionally |
| P89-1002 | essence , the technique is a kind of | goal freezing | ( Colmerauer , 1982 ) or implicit |
| P90-1027 | ordering of such goals , putting the | goal freezing | back into the picture . In contrast |
| E91-1032 | fold/unfold transformation and | goal freezing | , when applied to various components |
| P90-1027 | from employing the trick known as | goal freezing | ( Colmerauer , 1982 ; Naish , |
| C90-2060 | , employing the trick known as | goal freezing | . To reduce the cost of the goal |
| P89-1002 | approach to generation based on | goal freezing | under one guise or another fails |
| J90-1004 | approach to generation based on | goal freezing | under one guise or another is |
| C96-1092 | delay statements , which allow | goal freezing | at run riffle of not sufficiently |
| C90-2060 | freezing . To reduce the cost of the | goal freezing | , and also to circumvent some |
