Titlebook: Logic Based Program Synthesis and Transformation; 10th International W Kung-Kiu Lau Conference proceedings 2001 Springer-Verlag Berlin Heid

patriarch

紳士

諂媚于性

granite

Lamina

打包

A Technique for Modular Logic Program Refinement sets of procedures that manipulate the data types. By placing restrictions on the way a program uses a module, we develop a technique for refining the module so that it uses a more efficient representation of the data type.

Multiple

嫌惡

Specifying Prolog Trace Models with a Continuation Semanticss specification can be extended to specify richer Prolog trace models. To be able to experiment with trace models, we translate these specifications into ?Prolog. This translation leads to a Prolog interpreter that performs execution traces. We have hence a formal framework to specify, prototype, and validate Prolog trace models.

commonsense

燕麥

Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderingslity-variants..The advantage of the approach over standard acceptability is that in some cases, where complex level mappings are needed, fairly simple termorderings may be easily generated. The advantage over transformational approaches is that it avoids the transformation step all together.