557 search results - page 62 / 112 » Useful Transformations in Answer set programming |
140
click to vote
PASTE
1999
ACM
15 years 6 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...
114
click to vote
ICLP
1997
Springer
15 years 6 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
112
Voted
TAPSOFT
1991
Springer
15 years 6 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
240
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
Defunctionalization is a program transformation that aims to turn a higher-order functional program into a first-order one, that is, to eliminate the use of functions as first-cla...
139
click to vote
ICAI
2010
15 years 12 days ago
2010
- In this article, we present an algorithm which is capable of transforming a gridded dogleg channel routing problem into a constraint programming (CP) problem. The transformed CP ...