Addressed term rewriting systems: application to a typed object calculus

DOI10.1017/S096012950600541XMaRDI QIDQ5482264zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

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

Cited in

(3)

• Term-Graph Rewriting Via Explicit Paths
• Addressed term rewriting systems: syntax, semantics, and pragmatics (extended abstract)
• Term-graph rewriting in \textsc{Tom} using relative positions

Describes a project that uses

Uses Software

• OCaml
• CafeOBJ

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)