Capturing constrained constructor patterns in matching logic

DOI10.1016/J.JLAMP.2022.100810MaRDI QIDQ2096417zbMATH OpenOpenAlexWikidataFDO

Authors Yanyan Li

Publication date 16 November 2022

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2022.100810

zbMATH Keywords

constrained constructor patternsmatching logicorder-sorted algebras

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Connecting Constrained Constructor Patterns and Matching Logic
• A constructor-based reachability logic for rewrite theories
• A constructor-based reachability logic for rewrite theories
• Matching logic -- extended abstract (invited talk)
• Matching logic explained

Cites work

• A constructor-based reachability logic for rewrite theories
• A constructor-based reachability logic for rewrite theories
• A lattice-theoretical fixpoint theorem and its applications
• Conditional rewriting logic as a unified model of concurrency
• Constructing infinitary quotient-inductive types
• Folding variant narrowing and optimal variant termination
• Generalized rewrite theories, coherence completion, and symbolic methods
• scientific article; zbMATH DE number 1189278 (Why is no real title available?)
• Matching logic
• Matching logic explained
• One-path reachability logic
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Results on the propositional \(\mu\)-calculus
• Twenty years of rewriting logic
• Variant narrowing and equational unification

Cited in

(2)

• Interactive matching logic proofs in Coq
• Preface to rewriting logic and its applications (revised selected papers from WRLA 2020)

This page was built for publication: Capturing constrained constructor patterns in matching logic

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