A General Framework for Static Cost Analysis of Parallel Logic Programs

Maximiliano Klemen, Pedro López-García 0001, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo. A General Framework for Static Cost Analysis of Parallel Logic Programs. In Maurizio Gabbrielli, editor, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers. Volume 12042 of Lecture Notes in Computer Science, pages 19-35, Springer, 2019. [doi]

Authors

Maximiliano Klemen

This author has not been identified. Look up 'Maximiliano Klemen' in Google

Pedro López-García 0001

This author has not been identified. Look up 'Pedro López-García 0001' in Google

John P. Gallagher

This author has not been identified. It may be one of the following persons: Look up 'John P. Gallagher' in Google

José F. Morales

This author has not been identified. Look up 'José F. Morales' in Google

Manuel V. Hermenegildo

This author has not been identified. It may be one of the following persons: Look up 'Manuel V. Hermenegildo' in Google