[ACM Press the 20th International Symposium - Frankfurt am Main, Germany (2018.09.03-2018.09.05)] Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP '18 - Static Performance Guarantees for Programs with Runtime Checks
Klemen, Maximiliano, Stulova, Nataliia, López-García, Pedro, Morales, José, Hermenegildo, Manuel V.Year:
2018
Language:
english
DOI:
10.1145/3236950.3236970
File:
PDF, 881 KB
english, 2018