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

贪污

书目名称Logic Program Synthesis and Transformation影响因子(影响力)




书目名称Logic Program Synthesis and Transformation影响因子(影响力)学科排名




书目名称Logic Program Synthesis and Transformation网络公开度




书目名称Logic Program Synthesis and Transformation网络公开度学科排名




书目名称Logic Program Synthesis and Transformation被引频次




书目名称Logic Program Synthesis and Transformation被引频次学科排名




书目名称Logic Program Synthesis and Transformation年度引用




书目名称Logic Program Synthesis and Transformation年度引用学科排名




书目名称Logic Program Synthesis and Transformation读者反馈




书目名称Logic Program Synthesis and Transformation读者反馈学科排名

Irascible

Gene408

NADIR

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.

网络添麻烦

https://doi.org/10.1007/3-540-62718-9Programmsynthese; logic; logic programming; program analysis; program synthesis; program transformation; p

laparoscopy

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.

少量

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

cravat

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