Generating action compilers by partial evaluation

DOI10.1017/S0956796800001684zbMath0856.68040WikidataQ123263383 ScholiaQ123263383MaRDI QIDQ4895553

Jens Palsberg, Anders Bondorf

Publication date: 14 October 1996

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

Mosses' action semantics

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items (2)

Efficient and flexible access control via Jones-optimal logic program specialisation ⋮ FROM STANDARD TO NON-STANDARD SEMANTICS BY SEMANTICS MODIFIERS

Cites Work

• Automatic autoprojection of recursive equations with global variables and abstract data types
• Automatic autoprojection of higher order recursive equations
• Action Semantics

This page was built for publication: Generating action compilers by partial evaluation