10 citations · 21 across the 8 of their papers we have counts for
1 paper · 1 filter
Á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…