1 paper
Sabine Bauer, Martin Hofmann
Linear tree constraints were introduced by Hofmann and Rodriguez in the context of amortized resource analysis for object oriented programs. More precisely, they gave a reduction f…