论文信息 - The Evaluation of Expressions in Icon

The Evaluation of Expressions in Icon

Expressions in the Icon programming language may be conditional, possibly producing no result, or they may be generators, possibly producing a sequence of results. Generators, coupled with a goaldirected evaluation mechanism, provide a concise method for expressing many complex computations. This paper describes the evaluation of expressions in Icon and presents an Icon program that explicates the semantics of expression evaluation. This program also provides an executable "formalism" that can be used as a tool to design and test changes and additions to the language.

Ralph E. Griswold | R. Griswold

[1] John C. Reynolds,et al. Definitional Interpreters for Higher-Order Programming Languages , 1972, ACM '72.

[2] Daniel G. Bobrow,et al. New Programming Languages for Artificial Intelligence Research , 1974, CSUR.

[3] Robert W. Floyd,et al. Nondeterministic Algorithms , 1967, JACM.

[4] N. S. Barnett,et al. Private communication , 1969 .

[5] Craig Schaffert,et al. Abstraction mechanisms in CLU , 1977, Commun. ACM.

[6] David R. Hanson,et al. An Alternative to the Use of Patterns in String Processing , 1980, TOPL.

[7] Mary Shaw,et al. Abstraction and verification in Alphard: Defining and specifying iteration and generators , 1977, Commun. ACM.

[8] Mary Shaw,et al. Abstraction and verification in Alphard: Defining and specifying iteration and generators , 1977 .

[9] Joseph E. Stoy,et al. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[10] David R. Hanson,et al. Reference manual for the icon programming language , 1979 .

[11] David R. Hanson,et al. Generators in Icon , 1981, TOPL.

[12] Paul Klint,et al. An overview of the SUMMER programming language , 1980, POPL '80.

[13] David R. Hanson,et al. An overview of SL5 , 1977, SIGP.

[14] David R. Hanson,et al. The SL5 procedure mechanism , 1978, CACM.

[15] Ralph E. Griswold,et al. The SNOBOL4 programming language , 1968 .

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