( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Obsidian: Typestate and Assets for Safer Blockchain Programming.

, , , , , , , , и . CoRR, (2019)

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.

Nicholas Reed

Philippa Reed

Kate Reed

Sean Reed

Hok Liang Oei

 

Другие публикации лиц с тем же именем

Obsidian: Typestate and Assets for Safer Blockchain Programming., , , , , , , , и . ACM Trans. Program. Lang. Syst., 42 (3): 14:1-14:82 (2020)Psamathe: a DSL for safe blockchain assets.. SPLASH (Companion), стр. 16-18. ACM, (2020)Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata., , , и . CoRR, (2021)Obsidian: Typestate and Assets for Safer Blockchain Programming., , , , , , , , и . CoRR, (2019)Decidability for Sturmian words., , , , , и . CoRR, (2021)iDFlakies: A Framework for Detecting and Partially Classifying Flaky Tests., , , , и . ICST, стр. 312-322. IEEE, (2019)Psamathe: A DSL with Flows for Safe Blockchain Assets., , и . CoRR, (2020)iFixFlakies: a framework for automatically fixing order-dependent flaky tests., , , , и . ESEC/SIGSOFT FSE, стр. 545-555. ACM, (2019)A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language., , , , , и . PLATEAU@UIST, том 76 из OASIcs, стр. 2:1-2:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Decidability for Sturmian Words., , , , , и . CSL, том 216 из LIPIcs, стр. 24:1-24:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)