Towards static performance guarantees for programs with run-time checks
- Klemen, M.
- Stulova, N.
- Lopez-Garcia, P.
- Morales, J.F.
- Hermenegildo, M.V.
ISSN: 2190-6807
ISBN: 9783959770903
Année de publication: 2018
Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018
Volumen: 64
Type: Communication dans un congrès