Cost Analysis of Smart Contracts Via Parametric Resource Analysis

von Pérez, Victor
Veröffentlicht in SAS (27. : 2020 : Online) Static analysis (2020)

Towards Static Performance Guarantees for Programs with Run-Time Checks

von Klemen, Maximiliano
Veröffentlicht in International Conference on Logic Programming (34. : 2018 : Oxford) Technical communications of the 34th International Conference on Logic Programming (2018)

A General Framework for Static Cost Analysis of Parallel Logic Programs

von Klemen, Maximiliano
Veröffentlicht in LOPSTR (29. : 2019 : Porto, Portugal) Logic-based program synthesis and transformation (2020)