research
∙
08/30/2023
A Dataflow Analysis for Comparing and Reordering Predicate Arguments
In this work, which is done in the context of a (moded) logic programmin...
share
research
∙
07/21/2021
Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)
This volume constitutes the pre-proceedings of the 31st International Sy...
research
∙
07/01/2021
Anti-unification of Unordered Goals
Anti-unification in logic programming refers to the process of capturing...
research
∙
02/17/2020
An SMT-Based Concolic Testing Tool for Logic Programs
Concolic testing mixes symbolic and concrete execution to generate test ...
research
∙
07/24/2019
Anti-unification in Constraint Logic Programming
Anti-unification refers to the process of generalizing two (or more) goa...
research
∙
08/07/2002