Don’t run on fumes—Parametric gas bounds for smart contracts-Reference-Cited by-同舟云学术

Don’t run on fumes—Parametric gas bounds for smart contracts

Author:

Albert Elvira^ORCID,Correas Jesús^ORCID,Gordillo Pablo^ORCID,Román-Díez Guillermo^ORCID,Rubio Albert^ORCID

Funder

Comunidad de Madrid

Gobierno de Espana Ministerio de Ciencia Innovacion y Universidades

Universidad Complutense de Madrid

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference53 articles.

1. Compilers: Principles, Techniques, and Tools;Aho,2006

2. Object-sensitive cost analysis for concurrent objects;Albert;STVR,2015

3. Automatic inference of upper bounds for recurrence relations in cost analysis;Albert,2008

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Congesting Ethereum after EIP-1559;2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC);2024-05-27

4. FCToken: A Flexible Framework for Blockchain-Based Compliance Tokenization;2023 IEEE International Conference on Data Mining Workshops (ICDMW);2023-12-04