scientific article; zbMATH DE number 2080191

MaRDI QIDQ4472433zbMATH OpenFDO

Authors José Meseguer, David Basin, M. Clavel

Publication date 4 August 2004

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Reflective metalogical frameworks
• scientific article; zbMATH DE number 1231667
• Reflection in rewriting logic. Metalogical foundations and metaprogramming applications
• scientific article; zbMATH DE number 753781
• scientific article; zbMATH DE number 1231543

Cited in

(10)

• Maude: specification and programming in rewriting logic
• Reflection in conditional rewriting logic
• Rewriting logic: Roadmap and bibliography
• Reflection in rewriting logic. Metalogical foundations and metaprogramming applications
• Towards behavioral Maude: behavioral membership equational logic
• Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
• A meta linear logical framework
• scientific article; zbMATH DE number 1231667 (Why is no real title available?)
• scientific article; zbMATH DE number 753781 (Why is no real title available?)
• Reflective metalogical frameworks

Describes a project that uses

Uses Software

• Isabelle
• Maude
• Isabelle/ZF

This page was built for publication:

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