Latte: Lightweight Aliasing Tracking for Java

Many existing systems track aliasing and uniqueness, each with their own trade-off between expressiveness and developer effort. We propose Latte, a new approach that aims to minimize both the amount of annotations and the complexity of invariants necessary for reasoning about aliasing in an object-o...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2023-09
Hauptverfasser:	Zimmerman, Conrad, Gamboa, Catarina, Fonseca, Alcides, Aldrich, Jonathan
Format:	Artikel
Sprache:	eng
Schlagworte:	Aliasing Annotations Object-oriented languages Semantics Tracking Uniqueness
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!