The denotational semantics of a functional tree-manipulation language

Authors:
Andrew Malton
Affiliations:
Department of Computing and Information Science, Queen's University, Kingston, Canada K7L 3N6
Venue:
Computer Languages
Year:
1993

Citing 3
Cited 0

Denotational semantics of a goal-directed language

ACM Transactions on Programming Languages and Systems (TOPLAS)
TXL: a rapid prototyping system for programming language dialects

Computer Languages
Practical metaprogramming

CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

The programming language TXL combines features of functional languages with a pattern-matching and failure-handling paradigm, designed for expressing tree-manipulation algorithms. The semantic problems, caused by the interaction of evaluation and pattern matching, are solved by choosing a suitable denotation for patterns and failure. There is no need for general continuations.