Connecting Constrained Constructor Patterns and Matching Logic

DOI10.1007/978-3-030-63595-4_2MaRDI QIDQ6486031zbMATH OpenFDO

Authors Xiaohong Chen, Dorel Lucanu, Grigore Roşu

Publication date 22 December 2022

Published in 1517.68157 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-63595-4_2

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Recommendations

• Matching logic -- extended abstract (invited talk)
• Matching logic
• Matching logic explained
• Matching logic: an alternative to Hoare/Floyd logic
• A constructor-based reachability logic for rewrite theories

Cited in

(5)

• Matching logic explained
• Capturing constrained constructor patterns in matching logic
• Matching logic
• Matching logic -- extended abstract (invited talk)
• Unification in matching logic

This page was built for publication: Connecting Constrained Constructor Patterns and Matching Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6486031)