论文信息 - Structured Program Lookahead

Structured Program Lookahead

Abstract Language structures are presented that allow a program to predict the result of executing a block of statements. This result can be used to decide whether to execute the block, or to take some other action. This lookahead facility is, in expressive power, equivalent to backtracking. Unlike general backtracking, lookahead as a language feature lends itself well to structured programming and efficient implementation. Examples are presented that illustrate the use of lookahead. Implementation methods, as embodied in a working compiler, are given.

Gordon V. Cormack | Thomas Strothotte | G. Cormack | T. Strothotte

[1] William C. Nylin,et al. Multiple tense computer programming , 1976, SIGP.

[2] Nazim H. Madhavji. Visibility aspects of programmed dynamic data structures , 1984, CACM.

[3] Thomas Guenter Immanual Strothotte. Temporal constructs for an algorithmic language , 1985 .

[4] Alfred V. Aho,et al. Principles of Compiler Design , 1977 .

[5] Brian Randell. System structure for software fault tolerance , 1975 .

[6] Edsger W. Dijkstra,et al. Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.

[7] Niklaus Wirth,et al. Algorithms + Data Structures = Programs , 1976 .

[8] Ralph E. Griswold,et al. The Icon programming language , 1983 .

[9] Douglas Comer,et al. Ubiquitous B-Tree , 1979, CSUR.

[10] Jr. John Bowman Harvill. A programming language model for an operand state saving computer. , 1978 .

[11] Brian W. Kernighan,et al. The C Programming Language , 1978 .

[12] Gordon V. Cormack. Extensions to static scoping , 1983, ACM SIGPLAN Notices.

[13] Marvin V. Zelkowitz. Reversible execution , 1973, CACM.

[14] Michael Jackson,et al. Principles of program design , 1975 .

[15] William F. Clocksin,et al. Programming in Prolog , 1981, Springer Berlin Heidelberg.

[16] John McCarthy,et al. LISP 1.5 Programmer's Manual , 1962 .

[17] D. M. Symes. Procedural Operators Considered as Fundamental Programming Devices , 1985, Comput. Lang..

[18] Ralph E. Griswold,et al. A Snobol4 Primer , 1973 .