relieve
发表于 2025-3-30 08:19:52
http://reply.papertrans.cn/59/5879/587881/587881_51.png
审问
发表于 2025-3-30 12:46:22
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model,in a framework called the basic Andorra model, which allows (dependent) and-parallelism among determinate goals as well as or-parallelism. We show that it is possible to extend this model in order to also allow and-parallelism among independent, nondeterminate goals, thus supporting full independent
枯燥
发表于 2025-3-30 20:25:21
Memoing with Abstract Answers and Delphi Lemmas,er obtained by replicating the steps of the derivation, except the first one. After describing a meta-interpreter returning abstract answers we derive a class of program transformations that compute them more efficiently. Abstract answers are ideal lemmas as their `hit rate’ is much higher than in t
武器
发表于 2025-3-30 23:20:25
http://reply.papertrans.cn/59/5879/587881/587881_54.png
哥哥喷涌而出
发表于 2025-3-31 02:20:23
Mechanical Transformation of Logic Definitions augmented with Type Information into Prolog Procedurcedures. The presented static analyser can be used in a final transformation component of a logic program synthesis system such as the systems described in . The paper recalls the notion of a logic description and discusses how type information can be used to relate the logic description to i
outskirts
发表于 2025-3-31 07:10:48
Using Abstract Interpretation for Goal Replacement,e well known unfold/fold and goal replacement transformations of Tamaki and Sato which are based upon goal replacement in the bodies of clauses. The transformation of a program is controlled by a complete abstract OLDT-like tree. The transformation operations include unfolding/folding and goal replacement.
强制令
发表于 2025-3-31 10:27:25
http://reply.papertrans.cn/59/5879/587881/587881_57.png
Trochlea
发表于 2025-3-31 15:19:55
http://reply.papertrans.cn/59/5879/587881/587881_58.png
Confidential
发表于 2025-3-31 17:47:31
The Power of Partial Evaluation, of this meta-program that is amenable to specialisation and show that partial evaluation of this program with respect to some object theory can give results comparable to the results obtained by a special purpose analysis.
围巾
发表于 2025-4-1 00:16:18
A Transformation Based on the Equality between Terms,of existential variables in programs using difference lists and accumulators, reduction of the number of occur-checks, interprocedural register allocation when executed on the WAM, linearization of recursions, optimization of continuation-like user data structures.