Static performance guarantees for programs with run-time checks
- Klemen, M.
- Stulova, N.
- López-García, P.
- Morales, J.
- Hermenegildo, M.V.
Aktak:
ACM International Conference Proceeding Series
ISBN: 9781450364416
Argitalpen urtea: 2018
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018
Mota: Biltzar ekarpena