Steffen Jost

Available identifiers

zbMath Open jost.steffenMaRDI QIDQ2398173

List of research outcomes

Publication	Date of Publication	Type
Two decades of automatic amortized resource analysis	2023-02-06	Paper
Decidable Inequalities over Infinite Trees	2019-07-04	Paper
Type-based cost analysis for lazy functional languages	2017-08-15	Paper
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages	2016-04-26	Paper
Static prediction of heap space usage for first-order functional programs	2015-09-11	Paper
Static determination of quantitative resource usage for higher-order programs	2015-06-11	Paper
Automatic amortised analysis of dynamic memory allocation for lazy functional programs	2014-07-21	Paper
Improvements to a resource analysis for Hume	2010-09-14	Paper
Programming Languages and Systems	2007-05-02	Paper

Research outcomes over time

This page was built for person: Steffen Jost