activity
20052020
most citedOn the Generation of Test Data for Prolog by Partial Evaluation

7 citations · 7 across the 4 of their papers we have counts for

collaborators
Showing 2020 · cs.PLShow all

1 paper · 2 filters

cs.PL2020

Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph

Elvira Albert, Jesús Correas, Pablo Gordillo +2

The EVM language is a simple stack-based language with words of 256 bits, with one significant difference between the EVM and other virtual machine languages (like Java Bytecode or…