Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

DOI10.1016/J.TCS.2006.12.009zbMath1111.03034OpenAlexW2131954800MaRDI QIDQ875516

Manuel Clavel, Miguel Palomino, José Meseguer

Publication date: 13 April 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.12.009

zbMATH Keywords

reflectionuniversal theoriesrewriting logicMaudemembership equational logicreflective logicsreflective programming languages

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (13)

Declarative Debugging of Rewriting Logic Specifications ⋮ Rewriting modulo SMT and open system analysis ⋮ Metalevel transformation of strategies ⋮ Metalevel algorithms for variant satisfiability ⋮ Twenty years of rewriting logic ⋮ Declarative debugging of rewriting logic specifications ⋮ A Maude environment for CafeOBJ ⋮ An algebraic semantics for MOF ⋮ A Declarative Debugger for Maude Functional Modules ⋮ Building correct-by-construction systems with formal patterns ⋮ Programming and symbolic computation in Maude ⋮ Metalevel Algorithms for Variant Satisfiability ⋮ Symbolic computation in Maude: some tapas

Uses Software

• CafeOBJ
• Maude
• ITP
• Refal

Cites Work

• WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19--21, 2002
• Proceedings of the 6th international workshop on rewriting logic and its applications (WRLA 2006), Vienna, Austria, April 1--2, 2006
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Conditional rewriting logic as a unified model of concurrency
• IThe 2nd international workshop on rewriting logic and its applications, RWLW.. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998
• ELAN from a rewriting logic point of view
• Maude: specification and programming in rewriting logic
• Reflection in conditional rewriting logic
• Specification of real-time and hybrid systems in rewriting logic
• Rewriting logic: Roadmap and bibliography
• Handbook of philosophical logic. Vol. 9
• Specification and proof in membership equational logic
• On degrees of unsolvability
• Interpreting Abstract Interpretations in Membership Equational Logic
• Comparing Meseguer's Rewriting Logic with the Logic CRWL
• The concept of a supercompiler
• Metamathematics, Machines and Gödel's Proof
• A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications
• Reflective metalogical frameworks
• Algebraic Methodology and Software Technology
• Monadic Elementary Formal Systems
• A generic reification technique for object-oriented reflective languages
• Metalevel architectures and separation of crosscutting concerns. 3rd international conference, REFLECTION 2001, Kyoto, Japan, September 25--28, 2001. Proceedings
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic