The denotational semantics of a functional tree-manipulation language

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 d...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Computer languages 1993, Vol.19 (3), p.157-168
1. Verfasser:	Malton, Andrew
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Exact sciences and technology language dialects Language theory and syntactical analysis semantics source transformation languages Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.
ISSN:	0096-0551
DOI:	10.1016/0096-0551(93)90031-U