Theoretical Aspects of Computing – ICTAC 2005

DOI10.1007/11560647zbMath1169.03349OpenAlexW4300984554MaRDI QIDQ5395090

José Meseguer

Publication date: 1 November 2006

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

Full work available at URL: https://doi.org/10.1007/11560647

Mathematics Subject Classification ID

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

Related Items (3)

The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ A rewriting logic approach to operational semantics

Uses Software

• SPIN
• CafeOBJ
• Maude
• PMaude
• ITP

This page was built for publication: Theoretical Aspects of Computing – ICTAC 2005