29 citations · 80 across the 13 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.PL2018★ 3 cited
Analysis of Logarithmic Amortised Complexity
Martin Hofmann, Georg Moser
We introduce a novel amortised resource analysis based on a potential-based type system. This type system gives rise to logarithmic and polynomial bounds on the runtime complexity…
cs.LO2018
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…
cs.PL2018★ 4 cited
Enforcing Programming Guidelines with Region Types and Effects
Serdar Erbatur, Martin Hofmann, Eugen Zalinescu
We present in this paper a new type and effect system for Java which can be used to ensure adherence to guidelines for secure web programming. The system is based on the region and…