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