A User Study to Inform the Design of the Obsidian Blockchain DSL
暂无分享,去创建一个
[1] Dan Boneh. Solidity , 1973 .
[2] Philip Wadler,et al. Linear Types can Change the World! , 1990, Programming Concepts and Methods.
[3] Brad A. Myers,et al. Natural programming languages and environments , 2004, Commun. ACM.
[4] Jonathan Aldrich,et al. Typestate-oriented programming , 2009, OOPSLA Companion.
[5] Nicholas D. Matsakis,et al. The rust language , 2014, HILT '14.
[6] Martin Odersky,et al. Foundations of path-dependent types , 2014, OOPSLA.
[7] Thomas D. LaToza,et al. Programmers Are Users Too: Human-Centered Methods for Improving Programming Tools , 2016, Computer.
[8] Elaine Shi,et al. Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab , 2016, Financial Cryptography Workshops.
[9] Michael J. Coblenz. Obsidian: A Safer Blockchain Programming Language , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).