17 citations · 48 across the 16 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.PL2010★ 1 cited
Towards Correctness of Program Transformations Through Unification and Critical Pair Computation
Conrad Rau, Manfred Schmidt-Schauß
Correctness of program transformations in extended lambda calculi with a contextual semantics is usually based on reasoning about the operational semantics which is a rewrite seman…
cs.LO2010★ 1 cited
Unification and Matching on Compressed Terms
Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß
Term unification plays an important role in many areas of computer science, especially in those related to logic. The universal mechanism of grammar-based compression for terms, in…