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.
Actas:
OpenAccess Series in Informatics

ISSN: 2190-6807

ISBN: 9783959770903

Año de publicación: 2018

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

Volumen: 64

Tipo: Aportación congreso

DOI: 10.4230/OASICS.ICLP.2018.10 GOOGLE SCHOLAR
Fuente de los datos: Scopus