Design and Evaluation of Coconut: Typestates for C++

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Science of computer programming S. 103398
Hauptverfasser:	Alsubhi, Arwa Hameed, Dardha, Ornela, Gay, Simon J.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	01.10.2025
ISSN:	0167-6423
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
ISSN:	0167-6423
DOI:	10.1016/j.scico.2025.103398