Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
From MaRDI portal
Publication:875516
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
reflectionuniversal theoriesrewriting logicMaudemembership equational logicreflective logicsreflective programming languages
Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
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, Programming and symbolic computation in Maude, Metalevel Algorithms for Variant Satisfiability, Symbolic computation in Maude: some tapas
Uses Software
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
