Capturing constrained constructor patterns in matching logic

• Published in: Journal of logical and algebraic methods in programming Vol. 130; p. 100810
• Main Authors: Chen, Xiaohong, Lucanu, Dorel, Roşu, Grigore
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.01.2023
• Subjects: Constrained constructor patterns; Matching logic; Order-sorted algebras; Matching logic; Order-sorted algebras; Constrained constructor patterns

Reachability logic for rewrite theories consists of a specification of system states that are given by constrained constructor patterns, a transition relation that is given by a rewrite theory, and reachability properties expressed as pairs of state specifications. Matching logic has been recently p...