Interpreting Abstract Interpretations in Membership Equational Logic

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

Grigore Roşu, Bernd Fischer

Publication date: 24 July 2013

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

Mathematics Subject Classification ID

03B70: Logic in computer science

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

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

Uses Software

• OBJ3
• Maude