Matching Logic - Extended Abstract (Invited Talk)

DOI10.4230/LIPIcs.RTA.2015.5zbMath1366.68027OpenAlexW2292164009MaRDI QIDQ5277868

Grigore Roşu

Publication date: 12 July 2017

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.RTA.2015.5

zbMATH Keywords

verificationfirst-order logicrewritingprogram logic

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Executing and verifying higher-order functional-imperative programs in Maude, From Rewriting Logic, to Programming Language Semantics, to Program Verification, A generic framework for symbolic execution: a coinductive approach, A language-independent proof system for full program equivalence, All-Path Reachability Logic, Language definitions as rewrite theories