Personensuche
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
1
Inferring Needless Write Memory Accesses on Ethereum Byteco..:
, In:
?
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) ,
4
Smart, and also Reliable and Gas-Efficient, Contracts:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
5
GASOL: Gas Analysis and Optimization for Ethereum Smart Con..:
, In:
?
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis ,
6
SAFEVM: a safety verifier for Ethereum smart contracts:
, In:
?
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation ,
13
Incremental resource usage analysis:
, In:
?
Proceedings of the 11th international conference on Functional and Logic Programming ,
14
Extending the TOY system with the ECLiPSe solver over sets ..:
, In:
?
Functional and Logic Programming; Lecture Notes in Computer Science ,
15