A General Framework for Static Cost Analysis of Parallel Logic Programs
- Klemen, M.
- López-García, P.
- Gallagher, J.P.
- Morales, J.F.
- Hermenegildo, M.V.
ISSN: 1611-3349, 0302-9743
ISBN: 9783030452599
Argitalpen urtea: 2020
Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers
Alea: 12042 LNCS
Orrialdeak: 19-35
Mota: Biltzar ekarpena