一窝小鸟
发表于 2025-3-28 16:36:07
http://reply.papertrans.cn/59/5879/587879/587879_41.png
迷住
发表于 2025-3-28 20:24:14
http://reply.papertrans.cn/59/5879/587879/587879_42.png
Mechanics
发表于 2025-3-29 02:44:46
On the Transformation of a Prolog Program to a more efficient binary Program,tomatic transformation from a general program to its binary equivalent makes it most often less efficient. Still, sometimes a binary program can solve a problem more efficiently. It is shown that partial evaluation of the alternative binary program, together with the deletion of unnecessary variable
大都市
发表于 2025-3-29 03:42:55
http://reply.papertrans.cn/59/5879/587879/587879_44.png
荨麻
发表于 2025-3-29 07:28:21
http://reply.papertrans.cn/59/5879/587879/587879_45.png
复习
发表于 2025-3-29 14:09:12
Best-first Strategies for Incremental Transformations of Logic Programs,rmation process..The core of our technique is a procedure, called ., which is a generalization of the procedure for eliminating unnecessary variables introduced in . The generalization basically consists in the fact that we have parametrized our transformation procedure w.r.t. the property Φ whi
Obituary
发表于 2025-3-29 17:24:58
http://reply.papertrans.cn/59/5879/587879/587879_47.png
新鲜
发表于 2025-3-29 19:46:22
http://reply.papertrans.cn/59/5879/587879/587879_48.png
讽刺
发表于 2025-3-30 02:02:12
http://reply.papertrans.cn/59/5879/587879/587879_49.png
枕垫
发表于 2025-3-30 06:42:00
Conference proceedings 1993ribed at the workshop, all of which promise to revolutionize the software industry once they become standard practise. These include techniques for the transformation of an inefficient program into an equivalent, efficient one, and the synthesis of a program from a formal specification of its requir