An operational semantics for Icon: Implementation of a procedural goal-directed language

The generation of compiled code for expressions in programming languages such as Icon that support goal-directed evaluation in addition to traditional control structures presents more of a challenge than generating code for traditional imperative programming languages. This paper describes a code-ge...

Full description

Saved in:
Bibliographic Details
Published in:Computer languages 1993, Vol.18 (4), p.217-239
Main Authors: O'Bagy, Janalee, Walker, Kenneth, Griswold, Ralph E
Format: Article
Language:English
Subjects:
Applied sciences
Compilation
Computer science
control theory
systems
Exact sciences and technology
Goal-directed evaluation
Icon
Implementation techniques
Programming languages
Software
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The generation of compiled code for expressions in programming languages such as Icon that support goal-directed evaluation in addition to traditional control structures presents more of a challenge than generating code for traditional imperative programming languages. This paper describes a code-generation technique for translating Icon programs into a traditional high-level language. Translations into both Pascal and C are discussed. However, any language that provides function parameters and recursion is sufficient. The technique described here has been used in the implementation of an optimizing compiler for Icon.
ISSN:0096-0551
DOI:10.1016/0096-0551(93)90017-U