29 citations · 80 across the 13 of their papers we have counts for
Showing 2018 · cs.PLShow all
2 papers · 2 filters
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.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…