Results 21 to 30 of about 1,803,631 (274)
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems, 2000 In this paper we present a study of the problem of handling constraints made by conjunctions of positive and negative literals based on the predicate symbols =, ∈,∪ and || (i.e., disjointness of two sets) in a (hybrid) universe of finite sets .
DOVIER, Agostino +3 more
openaire +4 more sources
On termination of constraint logic programs [PDF]
, 1995 This paper introduces a necessary and sufficient condition for termination of constraint logic programs. The method is based on assigning a dataflow graph to a program, whose nodes are the program points and whose arcs are abstractions of the rules of a transition system, describing the operational behaviour of constraint logic programs.
COLUSSI, LIVIO +2 more
openaire +2 more sources
IEEE Access, 2019 Program slicing, as a technique of program decomposition, is widely used in the field of program testing, model checking, software verification, symbolic execution, and other fields.
Shengbing Ren, Mengyu Jia
doaj +1 more source
Archives of Control Sciences, 2015 A Constraint Logic Programming (CLP) tool for solving the problem discussed in Part 1 of the paper has been designed. It is outlined and discussed in the paper. The program has been used for solving a real-world car assembly scheduling problem.
Mazur Michał, Niederliński Antoni
doaj +1 more source
Verification of Programs via Intermediate Interpretation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We explore an approach to verification of programs via program transformation applied to an interpreter of a programming language. A specialization technique known as Turchin's supercompilation is used to specialize some interpreters with respect to the ...
Alexei P. Lisitsa, Andrei P. Nemytykh
doaj +1 more source
Data in Brief, 2022 The dataset presented in this paper introduces 384 new instances for the feasibility version of a multiprocessor scheduling problem with multiple time windows, positive time lags and exact time lags.
Emil Karlsson, Elina Rönnberg
doaj +1 more source
Constraint Logic Programming: A Survey
The Journal of Logic Programming, 1994 Constraint Logic Programming (CLP) began as a natural merger of two declarative paradigms: constraint solving and logic programming. This combination helps make CLP programs both expressive and flexible, and in some cases, more efficient than other kinds of programs.
Joxan Jaffar, Michael J. Maher
openaire +2 more sources
A Hybrid Method for the Modelling and Optimisation of Constrained Search Problems
Foundations of Management, 2014 The paper presents a concept and the outline of the implementation of a hybrid approach to modelling and solving constrained problems. Two environments of mathematical programming (in particular, integer programming) and declarative programming (in ...
Sitek Pawel, Wikarek Jaroslaw
doaj +1 more source
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. However, this feature makes those languages less reliable than statically typed
Emanuele De Angelis +4 more
doaj +1 more source
Developing an optimization model for prioritizing and selecting project risk response strategies [PDF]
Muṭāli̒āt-i Mudīriyyat-i Ṣan̒atī, 2023 Projects, during their execution, face various risks that can impact the achievement of project objectives. Therefore, the need for extensive project risk management is widely recognized.
Ali Namazian, Somayeh Behboodian
doaj +1 more source