research
∙
08/30/2023
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials
Active Logic Documents (ALD) are web pages which incorporate embedded Pr...
share
research
∙
01/26/2022
Fifty Years of Prolog and Beyond
Both logic programming in general, and Prolog in particular, have a long...
research
∙
11/22/2021
Parallel Logic Programming: A Sequel
Multi-core and highly-connected architectures have become ubiquitous, an...
research
∙
09/10/2021
Regular Path Clauses and Their Application in Solving Loops
A well-established approach to reasoning about loops during program anal...
research
∙
08/02/2021
Analysis and Transformation of Constrained Horn Clauses for Program Verification
This paper surveys recent work on applying analysis and transformation t...
research
∙
06/13/2021
VeriFly: On-the-fly Assertion Checking via Incrementality
Assertion checking is an invaluable programmer's tool for finding many c...
research
∙
07/31/2019
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs
The estimation and control of resource usage is now an important challen...
research
∙
07/30/2019
Computing Abstract Distances in Logic Programs
Abstract interpretation is a well-established technique for performing s...
research
∙
08/15/2018
Multivariant Assertion-based Guidance in Abstract Interpretation
Approximations during program analysis are a necessary evil, as they ens...
research
∙
04/06/2018
An Approach to Static Performance Guarantees for Programs with Run-time Checks
Instrumenting programs for performing run-time checking of properties, s...
research
∙
04/05/2018
An Approach to Incremental and Modular Context-sensitive Analysis
Context-sensitive global analysis of large code bases can be expensive, ...
research
∙
04/05/2018
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs
Context-sensitive global analysis of large code bases can be expensive, ...
research
∙
03/12/2018
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption
Many applications require conformance with specifications that constrain...
research
∙
05/18/2017
Exploiting Term Hiding to Reduce Run-time Checking Overhead
One of the most attractive features of untyped languages is the flexibil...
research
∙
06/13/2016