Interpreting Abstract Interpretations in Membership Equational Logic

DOI10.1016/S1571-0661(04)00292-0zbMath1268.68066DBLPjournals/tcs/FischerR01OpenAlexW2030148110WikidataQ57658846 ScholiaQ57658846MaRDI QIDQ2841246

Bernd Fischer, Grigore Roşu

Publication date: 24 July 2013

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00292-0

Mathematics Subject Classification ID

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

Related Items (2)

Rewriting logic: Roadmap and bibliography ⋮ Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

Uses Software

• OBJ3
• Maude

Cites Work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Theorem proving with abstraction
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Specification and proof in membership equational logic
• Grammar Analysis and Parsing by Abstract Interpretation
• An Oxford survey of order sorted algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interpreting Abstract Interpretations in Membership Equational Logic