Exceptions in the rewriting calculus

DOI10.1007/3-540-45610-4_6MaRDI QIDQ4808738zbMATH OpenFDO

Authors Claude Kirchner, Germain Faure

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2378/23780066.htm

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Rewrite strategies in the rewriting calculus
• A simple calculus of exception handling
• The simply typed rewriting calculus
• Logical semantics for the rewriting calculus
• Rewriting calculus with(out) types

Cited in

(6)

• Exits in the refinement calculus
• Rewriting calculus with(out) types
• A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules
• Exceptions for algebraic specifications: On the meaning of ``but
• Expressing combinatory reduction systems derivations in the rewriting calculus
• A \(\rho\)-calculus of explicit constraint application

This page was built for publication: Exceptions in the rewriting calculus

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