Addressed term rewriting systems: application to a typed object calculus

DOI10.1017/S096012950600541XzbMath1122.68069OpenAlexW1967205597MaRDI QIDQ5482264

Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori

Publication date: 28 August 2006

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012950600541x

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Term-Graph Rewriting Via Explicit Paths ⋮ Term-graph Rewriting in Tom Using Relative Positions

Uses Software

• CafeOBJ
• OCaml

This page was built for publication: Addressed term rewriting systems: application to a typed object calculus