Results 1 to 10 of about 119,051 (375)
Independence in CLP languages [PDF]
ACM Transactions on Programming Languages and Systems, 2000 Studying independence of goals has proven very useful in the context of logic programming. In particular, it has provided a formal basis for powerful automatic parallelization tools, since independence ensures that two goals may be evaluated in parallel ...
María García de la Banda +2 more
core +8 more sources
A non-CLP-compact product space whose finite subproducts are CLP-compact [PDF]
Topology and its Applications, 2010 We construct a family of Hausdorff spaces such that every finite product of spaces in the family (possibly with repetitions) is CLP-compact, while the product of all spaces in the family is non-CLP-compact. Our example will yield a single Hausdorff space
Medini, Andrea
core +6 more sources
Theory and Practice of Logic Programming, 2020 AbstractConcolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases with the aim of maximizing code coverage. A previous approach to concolic testing in logic programming was not sound because it only dealt with positive constraints (by
Mesnard, Frédéric +2 more
openaire +7 more sources
The replacement operation for CLP modules [PDF]
Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95, 1995 In this paper we study the replacement transformation for Constraint Logic Programming modules. We define new applicabihty conditions which guarantee the correctness of the operation also wrt module¿s composition: under this conditions, the original and the transformed modules have the same observable properties also when they are composed with other ...
Sandro Etalle, Maurizio Gabbrielli
openalex +6 more sources
CLP Approaches to 2D Angle Placements [PDF]
arXiv, 2001 The paper presents two CLP approaches to 2D angle placements, implemented in CHIP v.5.3. The first is based on the classical (rectangular) cumulative global constraint, the second on the new trapezoidal cumulative global constraint. Both approaches are applied to a specific presented.
Tomasz Szczygiel
openalex +3 more sources
The Ciao clp(FD) library. A modular CLP extension for Prolog [PDF]
, 2013 We present a new free library for Constraint Logic Programming over Finite Domains, included with the Ciao Prolog system. The library is entirely written in Prolog, leveraging on Ciao's module system and code transformation capabilities in order to ...
Gallego Arias, Emilio Jesús +3 more
core +5 more sources
Test Case Generation for Object-Oriented Imperative Languages in CLP [PDF]
Miguel G\'omez-Zamalloa, Elvira Albert, Germ\'an Puebla: Test Case
Generation for Object-Oriented Imperative Languages in CLP. TPLP 10(4-6):
659-674 (2010), 2010 Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test cases which are applied to a system under test.
Albert +7 more
core +2 more sources
CLP-based protein fragment assembly [PDF]
Theory and Practice of Logic Programming, 2010 The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments are extracted by a preprocessor-also developed for this work- from a database of known
AGOSTINO DOVIER +6 more
core +5 more sources
A Transformation-based Implementation for CLP with Qualification and Proximity [PDF]
arXiv, 2010 Uncertainty in logic programming has been widely investigated in the last decades, leading to multiple extensions of the classical LP paradigm. However, few of these are designed as extensions of the well-established and powerful CLP scheme for ...
Caballero, Rafael +2 more
core +2 more sources
Constraint Logic Programming for Natural Language Processing [PDF]
arXiv, 1995 This paper proposes an evaluation of the adequacy of the constraint logic programming paradigm for natural language processing. Theoretical aspects of this question have been discussed in several works.
Blache, Philippe, Hathout, Nabil
core +2 more sources