Executable semantic descriptions
Software—Practice & Experience
Common LISP: the language
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
An Alternative to the Use of Patterns in String Processing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving Target Code as a Representation of Continuation Semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Evaluation of Expressions in Icon
ACM Transactions on Programming Languages and Systems (TOPLAS)
Control Flow Aspects of Semantics-Directed Compiling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Mathematical semantics of SNOBOL4
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
The SNOBOL 4 programming language
The SNOBOL 4 programming language
History of the Icon programming language
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Simple translation of goal-directed evaluation
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
Goal-directed object-oriented programming in Unicon
Proceedings of the 2001 ACM symposium on Applied computing
A unifying approach to goal-directed evaluation
New Generation Computing - Partial evaluation and program transformation
History of the Icon programming language
History of programming languages---II
A unifying approach to goal-directed evaluation
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
The denotational semantics of a functional tree-manipulation language
Computer Languages
Hi-index | 0.00 |
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.