A general framework for static profiling of parametric resource usage – CORRIGENDUM.
Autor: | LOPEZ-GARCIA, P., KLEMEN, M., LIQAT, U., HERMENEGILDO, M. V. |
---|---|
Předmět: | |
Zdroj: | Theory & Practice of Logic Programming; Mar2021, Vol. 21 Issue 2, p291-291, 1p |
Databáze: | Complementary Index |
Externí odkaz: |