A Transformational Approach to Parametric Accumulated-Cost Static Profiling

DOI10.1007/978-3-319-29604-3_11zbMath1475.68087MaRDI QIDQ2798274

John P. Gallagher, Manuel V. Hermenegildo, Pedro Lopez-Garcia, Umer Liqat, Rémy Haemmerlé, Maximiliano Klemen

Publication date: 4 April 2016

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: http://oa.upm.es/47609/

Mathematics Subject Classification ID

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• Ciao
• CiaoPP