Titlebook: Logic Program Synthesis and Transformation; 6th International Wo John Gallagher Conference proceedings 1997 Springer-Verlag Berlin Heidelbe

冲击力

Typed norms for typed logic programs,ions of norm which can be used to measure any term in an almost arbitrary way. We see our work on norm derivation as a contribution to the termination analysis of typed logic programs which, in particular, forms an essential part of offline partial deduction systems.

llibretto

Compass

Abstract specialization and its application to program parallelization,on to automatic program parallelization in the &-Prolog compiler. Abstract executability, the main concept underlying abstract specialization, is formalized, the design of the specialization system presented, and a non-trivial example of specialization in automatic parallelization is given.