Author

Louis Rustenholz

h-index 0 View on Semantic Scholar

We have 1 of 2 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis

This work develops higher-order abstract domains for functions, operators, and programs themselves, in which composition is the key novel primitive, together with a categorical framework for constructing sound, precise, and modular abstract compilers.

Louis Rustenholz, Alessio Mansutti, Pedro López-García et al. · 0 citations