3 papers
cs.LO2026
Dependently Typed Model Composition for Matching Logic
Ádám Kurucz, Péter Bereczky, Dániel Horpácsi
This paper investigates model composition—often referred to as "gluing"—within the framework of matching logic. Specifically, we examine the systematic combination of existing…
cs.LO2025
On a Dependently Typed Encoding of Matching Logic
Ádám Kurucz, Péter Bereczky, Dániel Horpácsi
Matching logic is a general formal framework for reasoning about a wide range of theories, with particular emphasis on programming language semantics. Notably, the intermediate lan…
cs.LO2024
Unification in Matching Logic -- Revisited
Ádám Kurucz, Péter Bereczky, Dániel Horpácsi
Matching logic is a logical framework for specifying and reasoning about programs using pattern matching semantics. A pattern is made up of a number of structural components and co…