Abstract
Goal-directed evaluation is a very expressive programming language paradigm that is supported in relatively few languages. It is characterized by evaluation of expressions in an attempt to meet some goal, with resumption of previous expressions on failure. This paradigm is found in SNOBL4 in its pattern-matching facilities, and in Icon as a general part of the language. This paper presents a denotational semantics of Icon and shows how Icon is in fact a combination of two distinct paradigms, goal-directed evaluation and functional application. The two paradigms are not supported separately in different contexts, but integrated fully into a single evaluation mechanism.
Publisher
Association for Computing Machinery (ACM)
Reference15 articles.
1. Formal Semantics and Abstract Properties of String Pattern Operations and Extended Formal Language Description Mechanisms
2. The Evaluation of Expressions in Icon
3. An Alternative to the Use of Patterns in String Processing
4. GRISWOLD R. E. POAGE J. F. AND POLONSKY I. P. The SNOBOL4 Programming Language. 2nd ed Prentice-Hall Englewood Cliffs N.J. 1971. GRISWOLD R. E. POAGE J. F. AND POLONSKY I. P. The SNOBOL4 Programming Language. 2nd ed Prentice-Hall Englewood Cliffs N.J. 1971.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Disjunctive Delimited Control;Theory and Practice of Logic Programming;2023-04-11
2. Continuations;Undergraduate Topics in Computer Science;2017
3. Embedding goal-directed evaluation through transformation;Proceedings of the 31st Annual ACM Symposium on Applied Computing;2016-04-04
4. Continuations;Undergraduate Topics in Computer Science;2012
5. A unifying approach to goal-directed evaluation;New Generation Computing;2002-03