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
Datum der Publikation: 2018
Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018
Ausgabe: 64
Art: Konferenz-Beitrag