Compiling pattern matching by term decomposition

DOI10.1006/JSCO.1993.1001zbMath0825.68290OpenAlexW2150750971MaRDI QIDQ2366108

Ascander Suarez, Laurence Puel

Publication date: 29 June 1993

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1993.1001

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42)

Related Items (2)

Adaptive pattern matching ⋮ MLOG: A strongly typed confluent functional language with logical variables

This page was built for publication: Compiling pattern matching by term decomposition