| No. |
Title |
Author |
Year |
| 1 |
Towards Incremental and Modular Context-Sensitive Analysis |
Garcia-Contreras, Isabel et al. |
2018 |
| 2 |
Towards Run-time Checks Simplification via Term Hiding |
Stulova, Nataliia et al. |
2018 |
| 3 |
Towards Static Performance Guarantees for Programs with Run-Time Checks |
Klemen, Maximiliano et al. |
2018 |
| 4 |
LIPIcs, Volume 7, ICLP'10, Complete Volume |
Hermenegildo, Manuel et al. |
2013 |
| 5 |
Introduction to the Technical Communications of the 26th International Conference on Logic Programming |
Hermenegildo, Manuel et al. |
2010 |
| 6 |
Titlepage, Table of Contents, Conference Organization |
Hermenegildo, Manuel et al. |
2010 |
