HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Jan Hoffmann

Publications
Automatic Space Bound Analysis for Functional Programs with Garbage Collection
Yue Niu and Jan Hoffmann
In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

amortized analysis, cost semantics, garbage collection, LP Solving, operational semantics, Resource Bound Analysis, static analysis, type inference, type systems.

Copyright © 2012-2023 easychair.org. All rights reserved.