Linear Tree Constraints

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…