Static performance guarantees for programs with run-time checks

  1. Klemen, M.
  2. Stulova, N.
  3. López-García, P.
  4. Morales, J.
  5. Hermenegildo, M.V.
Proceedings:
ACM International Conference Proceeding Series

ISBN: 9781450364416

Year of publication: 2018

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018

Type: Conference paper

DOI: 10.1145/3236950.3236970 GOOGLE SCHOLAR
Data source: Scopus