iRho: an imperative rewriting calculus

DOI10.1017/S0960129508006750MaRDI QIDQ3520144zbMATH OpenFDO

Authors Luigi Liquori, Bernard Paul Serpette

Publication date 15 August 2008

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Implicational rewriting tactics in HOL
• The simply typed rewriting calculus
• scientific article; zbMATH DE number 3997138
• Structural rewriting in the pi-calculus
• The Rewriting Calculus as a Combinatory Reduction System
• scientific article; zbMATH DE number 2063228
• Imperative Functional Programming with Isabelle/HOL
• The \(\aleph \)-calculus. A declarative model of reversible programming
• Imperative object-based calculi in co-inductive type theories
• Expressing combinatory reduction systems derivations in the rewriting calculus

Cites work

• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• A syntactic theory of sequential state
• The B-Book
• The Mechanical Evaluation of Expressions
• The categorical abstract machine
• The origins of structural operational semantics

Cited in

(1)

• A \(\rho\)-calculus of explicit constraint application

Describes a project that uses

Uses Software

• Haskell
• Coq

This page was built for publication: iRho: an imperative rewriting calculus

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