bronchiole
发表于 2025-3-23 11:13:08
http://reply.papertrans.cn/59/5879/587882/587882_11.png
偏离
发表于 2025-3-23 17:04:15
Redundant argument filtering of logic programs,sense. Most program specialisation techniques, even though they filter arguments and remove clauses, fail to remove a substantial number of redundant arguments, yielding in some cases rather inefficient residual programs. We formalise the notion of a redundant argument and show that one cannot effec
高尔夫
发表于 2025-3-23 19:26:46
Replacement can preserve termination,sal termination besides computed answer substitutions. With this . we can significantly extend the safe unfold/fold transformation sequence presented in . By exploiting typing information, more useful conditions can be defined and we may deal with some special cases of replacement very common in
ANTE
发表于 2025-3-23 22:15:57
A transformation tool for pure Prolog programs,hat have to be satisfied before a particular transformation step can be applied. The transformation tool has been developed using a programming environment based on algebraic specification. The paper describes the tool and reports on the design decisions, the implemented transformation steps, and th
LAVE
发表于 2025-3-24 05:32:25
http://reply.papertrans.cn/59/5879/587882/587882_15.png
共同时代
发表于 2025-3-24 07:12:42
Abstract specialization and its application to program parallelization,s set is infinite. However, a form of specialization can still be performed in such cases by means of abstract interpretation, specialization then being with respect to abstract values (substitutions), rather than concrete ones. This paper reports on the application of abstract multiple specializati
终端
发表于 2025-3-24 12:21:48
http://reply.papertrans.cn/59/5879/587882/587882_17.png
Ccu106
发表于 2025-3-24 17:08:48
Inferring argument size relationships with CLP(,), We show how a precise analysis for inter-argument size relationships, formulated in terms of abstract interpretation, can be implemented straightforwardly in a language with constraint support like CLP(.) or SICStus version 3. The analysis is based on polyhedral approximations and uses a simple rel
领袖气质
发表于 2025-3-24 21:58:20
Typed norms for typed logic programs, to typed ones. It is important, however, when mapping techniques across that the new techniques should exploit the type system as much as possible. In this paper, we show how norms, which play a crucial role in termination analysis, can be generated from the prescribed types of a logic program. Int
责问
发表于 2025-3-25 01:04:36
Extensible logic program schemata,ngs of schema-based transformation approaches is their reliance on a large (possibly incomplete) set of logic program schemata that is required in order to capture all of the minor syntactic differences between semantically similar logic programs. By defining a set of extensible logic program schema