6 citations · 7 across the 9 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Unification in Matching Logic - Extended Version
Andrei Arusoaie, Dorel Lucanu
Matching Logic is a framework for specifying programming language semantics and reasoning about programs. Its formulas are called patterns and are built with variables, symbols, co…
cs.LO2018
A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems
Ştefan Ciobâcă, Dorel Lucanu
We introduce a sound and complete coinductive proof system for reachability properties in transition systems generated by logically constrained term rewriting rules over an order-s…