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影響因子(影響力)學(xué)科排名




書目名稱Logic Program Synthesis and Transformation網(wǎng)絡(luò)公開度




書目名稱Logic Program Synthesis and Transformation網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Logic Program Synthesis and Transformation被引頻次




書目名稱Logic Program Synthesis and Transformation被引頻次學(xué)科排名




書目名稱Logic Program Synthesis and Transformation年度引用




書目名稱Logic Program Synthesis and Transformation年度引用學(xué)科排名




書目名稱Logic Program Synthesis and Transformation讀者反饋




書目名稱Logic Program Synthesis and Transformation讀者反饋學(xué)科排名

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.

網(wǎng)絡(luò)添麻煩

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