Towards static performance guarantees for programs with run-time checks

  1. Klemen, M.
  2. Stulova, N.
  3. Lopez-Garcia, P.
  4. Morales, J.F.
  5. Hermenegildo, M.V.
Proceedings:
OpenAccess Series in Informatics

ISSN: 2190-6807

ISBN: 9783959770903

Year of publication: 2018

Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018

Volume: 64

Type: Conference paper

DOI: 10.4230/OASICS.ICLP.2018.10 GOOGLE SCHOLAR
Data source: Scopus