Rewriting logic semantics of a plan execution language

MaRDI QIDQ5150132zbMATH OpenFDO

Authors Gilles Dowek, Camilo Rocha, César Muñoz

Publication date 9 February 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?SOS2009.6

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• A formal library of set relations and its application to synchronous languages
• The rewriting logic semantics project
• Automated Reasoning
• The rewriting logic semantics project
• The rewriting logic semantics project: a progress report

Cited in

(6)

• Twenty years of rewriting logic
• Memory representations in rewriting logic semantics definitions
• Algebraic Methodology and Software Technology
• Rewriting semantics of production rule sets
• scientific article; zbMATH DE number 1753149 (Why is no real title available?)
• Rewriting modulo SMT and open system analysis

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Rewriting logic semantics of a plan execution language

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