冲击力
发表于 2025-4-1 02:03:32
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
发表于 2025-4-1 09:34:38
http://reply.papertrans.cn/59/5879/587882/587882_62.png
Compass
发表于 2025-4-1 13:20:15
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.