A transformational approach to parametric accumulated-cost static profiling

  1. Haemmerlè, R.
  2. López-García, P.
  3. Liqat, U.
  4. Klemen, M.
  5. Gallagher, J.P.
  6. Hermenegildo, M.V.
Büchersammlung:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349 0302-9743

ISBN: 9783319296036

Datum der Publikation: 2016

Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings

Ausgabe: 9613

Seiten: 163-180

Art: Konferenz-Beitrag

DOI: 10.1007/978-3-319-29604-3_11 GOOGLE SCHOLAR