( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph.

, , , , и . 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.

Pedro Miguel d' Jesús Montilva

Jesús Araiza

Jesús Arambarri

Jesús Odriozola

Jesús Valle

 

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

GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts., , , , и . CoRR, (2019)Context-Sensitive Multivariant Assertion Checking in Modular Programs., , , и . LPAR, том 4246 из Lecture Notes in Computer Science, стр. 392-406. Springer, (2006)Smart, and also Reliable and Gas-Efficient, Contracts., , , , и . ICST, стр. 2. IEEE, (2020)Resource Analysis: From Sequential to Concurrent and Distributed Programs., , , , , , , и . FM, том 9109 из Lecture Notes in Computer Science, стр. 3-17. Springer, (2015)Parallel Cost Analysis., , , , и . ACM Trans. Comput. Log., 19 (4): 31:1-31:37 (2018)Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries., , и . FACS, том 6921 из Lecture Notes in Computer Science, стр. 218-236. Springer, (2010)A practical type analysis for verification of modular prolog programs., , , и . PEPM, стр. 61-70. ACM, (2008)Incremental resource usage analysis., , , и . PEPM, стр. 25-34. ACM, (2012)Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph., , , , и . CoRR, (2020)Don't run on fumes - Parametric gas bounds for smart contracts., , , , и . J. Syst. Softw., (2021)