Addressed term rewriting systems: application to a typed object calculus

DOI10.1017/S096012950600541XzbMATH Open1122.68069OpenAlexW1967205597MaRDI QIDQ5482264FDOQ5482264

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

Recommendations

• Addressed term rewriting systems: syntax, semantics, and pragmatics (extended abstract)
• The simply typed rewriting calculus
• scientific article
• Rewriting calculus with(out) types
• COMBINING TERM REWRITING AND TYPE ASSIGNMENT SYSTEMS

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (2)

• Term-Graph Rewriting Via Explicit Paths
• Term-graph rewriting in \textsc{Tom} using relative positions

Uses Software

• CafeOBJ
• OCaml

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5482264)