Oxidizing OCaml with Modal Memory Management

Programmers can often improve the performance of their programs by reducing heap allocations: either by allocating on the stack or reusing existing memory in-place. However, without safety guarantees, these optimizations can easily lead to use-after-free errors and even type unsoundness. In this pap...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages 2024-08, Vol.8 (ICFP), p.485-514, Article 253
Hauptverfasser:	Lorenzen, Anton, White, Leo, Dolan, Stephen, Eisenberg, Richard A., Lindley, Sam
Format:	Artikel
Sprache:	eng
Schlagworte:	Garbage collection Linear logic Modal and temporal logics Software and its engineering Theory of computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!