| Fifty Years of Prolog and Beyond. | 0 | 0.34 | 2022 |
| Regular Path Clauses and Their Application in Solving Loops. | 0 | 0.34 | 2021 |
| VeriFly: On-the-fly Assertion Checking via Incrementality | 0 | 0.34 | 2021 |
| Testing Your (Static Analysis) Truths. | 1 | 0.35 | 2020 |
| Incremental Analysis of Logic Programs with Assertions and Open Predicates. | 0 | 0.34 | 2019 |
| Computing Abstract Distances in Logic Programs. | 0 | 0.34 | 2019 |
| Spectector: Principled Detection of Speculative Information Flows | 7 | 0.45 | 2018 |
| Theory and Practice of Finding Eviction Sets | 13 | 0.55 | 2018 |
| Incremental And Modular Context-Sensitive Analysis | 0 | 0.34 | 2018 |
| An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. | 0 | 0.34 | 2018 |
| Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. | 1 | 0.36 | 2018 |
| An Approach to Static Performance Guarantees for Programs with Run-time Checks. | 0 | 0.34 | 2018 |
| Term Hiding and its Impact on Run-time Check Simplification. | 0 | 0.34 | 2017 |
| Towards Run-time Checks Simplification via Term Hiding. | 0 | 0.34 | 2017 |
| Reducing the overhead of assertion run-time checks via static analysis. | 4 | 0.38 | 2016 |
| Rahft: A Tool For Verifying Horn Clauses Using Abstract Interpretation And Finite Tree Automata | 6 | 0.46 | 2016 |
| Description and Optimization of Abstract Machines in a Dialect of Prolog. | 2 | 0.40 | 2016 |
| Semantic Code Browsing. | 0 | 0.34 | 2016 |
| Practical Run-time Checking via Unobtrusive Property Caching | 4 | 0.38 | 2015 |
| An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. | 0 | 0.34 | 2014 |
| Reversible Language Extensions and Their Application in Debugging | 0 | 0.34 | 2013 |
| The Ciao clp(FD) Library. A Modular CLP Extension for Prolog | 0 | 0.34 | 2013 |
| Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013). | 0 | 0.34 | 2013 |
| Modular extensions for modular (logic) languages | 2 | 0.38 | 2011 |
| An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy | 10 | 0.73 | 2008 |
| Comparing tag scheme variations using an abstract machine generator | 6 | 0.43 | 2008 |
| Towards description and optimization of abstract machines in an extension of prolog | 3 | 0.39 | 2006 |
| High-level languages for small devices: a case study | 10 | 0.53 | 2006 |
| A generator of efficient abstract machine implementations and its application to emulator minimization | 4 | 0.44 | 2005 |
| Improved Compilation of Prolog to C Using Moded Types and Determinism Information | 15 | 0.65 | 2004 |
