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.
Actes de conférence:
ACM International Conference Proceeding Series

ISBN: 9781450364416

Année de publication: 2018

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

Type: Communication dans un congrès

DOI: 10.1145/3236950.3236970 GOOGLE SCHOLAR
La source de données: Scopus