2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2016
An implementation of Deflate in Coq
Christoph-Simon Senjak, Martin Hofmann
The widely-used compression format "Deflate" is defined in RFC 1951 and is based on prefix-free codings and backreferences. There are unclear points about the way these codings are…
cs.LO2014★ 2 cited
Amortised Resource Analysis and Typed Polynomial Interpretations (extended version)
Martin Hofmann, Georg Moser
We introduce a novel resource analysis for typed term rewrite systems based on a potential-based type system. This type system gives rise to polynomial bounds on the innermost runt…