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
Current Page :
Number of result pages: 1
Number of documents: 6

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI