iRho: an imperative rewriting calculus

DOI10.1017/S0960129508006750zbMATH Open1153.68026MaRDI QIDQ3520144FDOQ3520144

Bernard Paul Serpette, Luigi Liquori

Publication date: 15 August 2008

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Title not available (Why is that?)
• The B-Book
• The origins of structural operational semantics
• The Mechanical Evaluation of Expressions
• A syntactic theory of sequential state
• The categorical abstract machine

Cited In (1)

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

Uses Software

• Coq
• Haskell

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)