The Denotational Semantics of a Functional Tree-Manipulation Language

@article{Malton1993TheDS,
  title={The Denotational Semantics of a Functional Tree-Manipulation Language},
  author={Andrew J. Malton},
  journal={Comput. Lang.},
  year={1993},
  volume={19},
  pages={157-168}
}
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. The programming language TXL 1, 2] was designed for the rapid prototyping of language dialects: many useful extensions… CONTINUE READING
Highly Cited
This paper has 33 citations. REVIEW CITATIONS
23 Citations
14 References
Similar Papers

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 14 references

TXL { tree transformation language / syntax and informal semantics

  • I. Carmichael, J. R. Cordy
  • Technical report, Department of Computing and…
  • 1992
Highly Influential
8 Excerpts

User's guide to TXL { tree transformation language

  • J. R. Cordy
  • Technical report, Department of Computing and…
  • 1992
Highly Influential
8 Excerpts

A practical metaprogramming language and its implementation

  • M. Shukla
  • Master's thesis, Queen's University
  • 1993
1 Excerpt

Automatic design recovery and re-modularization using source transformation

  • R. Srinivasan
  • Master's thesis, Queen's University
  • 1993
1 Excerpt

Similar Papers

Loading similar papers…