贪污
发表于 2025-3-21 19:40:58
书目名称Logic Program Synthesis and Transformation影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0587882<br><br> <br><br>书目名称Logic Program Synthesis and Transformation影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0587882<br><br> <br><br>书目名称Logic Program Synthesis and Transformation网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0587882<br><br> <br><br>书目名称Logic Program Synthesis and Transformation网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0587882<br><br> <br><br>书目名称Logic Program Synthesis and Transformation被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0587882<br><br> <br><br>书目名称Logic Program Synthesis and Transformation被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0587882<br><br> <br><br>书目名称Logic Program Synthesis and Transformation年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0587882<br><br> <br><br>书目名称Logic Program Synthesis and Transformation年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0587882<br><br> <br><br>书目名称Logic Program Synthesis and Transformation读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0587882<br><br> <br><br>书目名称Logic Program Synthesis and Transformation读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0587882<br><br> <br><br>
Irascible
发表于 2025-3-22 00:04:12
http://reply.papertrans.cn/59/5879/587882/587882_2.png
Gene408
发表于 2025-3-22 01:04:42
http://reply.papertrans.cn/59/5879/587882/587882_3.png
NADIR
发表于 2025-3-22 06:27:01
Partial deduction in the framework of structural synthesis of programs,The notion of . known from logic programming is defined in the framework of . (SSP). Partial deduction for unconditional computability statements in SSP is defined. Completeness and correctness of partial deduction in the framework of SSP are proven. Several tactics and stopping criteria are suggested.
网络添麻烦
发表于 2025-3-22 09:22:42
https://doi.org/10.1007/3-540-62718-9Programmsynthese; logic; logic programming; program analysis; program synthesis; program transformation; p
laparoscopy
发表于 2025-3-22 16:34:57
A transformation tool for pure Prolog programs,hat have to be satisfied before a particular transformation step can be applied. The transformation tool has been developed using a programming environment based on algebraic specification. The paper describes the tool and reports on the design decisions, the implemented transformation steps, and the user interface.
少量
发表于 2025-3-22 18:13:07
Refining specifications to logic programs,ent calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these redu
IRATE
发表于 2025-3-23 01:17:33
http://reply.papertrans.cn/59/5879/587882/587882_8.png
cravat
发表于 2025-3-23 02:39:24
Specification-based automatic verification of Prolog programs,otations for the arguments and parameters that can be used to establish program termination. The work stems from Deville‘s methodology to derive Prolog programs that correctly implement their declarative meaning. In this context, we propose an algorithm that combines, adapts, and sometimes improves
Lymphocyte
发表于 2025-3-23 09:25:17
http://reply.papertrans.cn/59/5879/587882/587882_10.png