Obsidian: a safer blockchain programming language

Michael Coblenz. Obsidian: a safer blockchain programming language. In Sebastián Uchitel, Alessandro Orso, Martin P. Robillard, editors, Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume. pages 97-99, ACM, 2017. [doi]

Abstract

Abstract is missing.