Author of the publication

An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language.

, , , and . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Fast, Accurate Creation of Data Validation Formats by End-User Developers., , and . IS-EUD, volume 5435 of Lecture Notes in Computer Science, page 242-261. Springer, (2009)Topes: reusable abstractions for validating data., , and . ICSE, page 1-10. ACM, (2008)Searching across paths., and . SUITE@ICSE, page 29-32. ACM, (2010)Eliciting Design Requirements for Maintenance-Oriented IDEs: A Detailed Study of Corrective and Perfective Maintenance, , and . Proceedings of the International Conference on Software Engineering ICSE'2005, page 126-135. IEEE Computer Society, (2005)Taxonomies of Visual Programming and Program Visualization. Journal of Visual Languages and Computing, 1 (1): 97--123 (March 1990)More Natural Programming Languages and Environments., and . End User Development, Springer, (2006)Comparing transitive to non-transitive object immutability., , , , and . PLATEAU@SPLASH, page 47-48. ACM, (2015)Separating application code from toolkits: eliminating the spaghetti of call-backs.. UIST, page 211-220. ACM, (1991)Citrine: providing intelligent copy-and-paste., , and . UIST, page 185-188. ACM, (2004)Mobile Devices for Control.. Mobile HCI, volume 2411 of Lecture Notes in Computer Science, page 1-8. Springer, (2002)