Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian

Some blockchain programs (smart contracts) have included serious security vulnerabilities. Obsidian is a new typestate-oriented programming language that uses a strong type system to rule out some of these vulnerabilities. Although Obsidian was designed to promote usability to make it as easy as pos...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings of ACM on programming languages 2020-11, Vol.4 (OOPSLA), p.1-28, Article 132
Hauptverfasser:	Coblenz, Michael, Aldrich, Jonathan, Myers, Brad A., Sunshine, Joshua
Format:	Artikel
Sprache:	eng
Schlagworte:	Context specific languages Domain specific languages Empirical studies in HCI General programming languages Human computer interaction (HCI) Human-centered computing Language features Security and privacy Software and application security Software and its engineering Software notations and tools
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!