论文信息 - A Tutorial on Synthesis of Logic Programs from Specifications - 字舞流文

A Tutorial on Synthesis of Logic Programs from Specifications

1 Introduction

Kung-Kiu Lau | Geraint A. Wiggins | K. Lau

[1] Ehud Shapiro,et al. Algorithmic Program Debugging , 1983 .

[2] Hisao Tamaki,et al. Transformational Logic Program Synthesis , 1984, FGCS.

[3] Yves Deville,et al. Logic Program Synthesis , 1994, J. Log. Program..

[4] Sten-Åke Tärnlund,et al. A Natural Programming Calculus , 1979, IJCAI.

[5] Cliff B. Jones,et al. Formal development of programs , 1973 .

[6] Christopher J. Hogger,et al. Derivation of Logic Programs , 1981, JACM.

[7] Kung-Kiu Lau,et al. An Incompleteness Result for Deductive Synthesis of Logic Programs , 1993, ICLP.

[8] Alan Bundy,et al. The Synthesis of Logic Programs from Inductive Proofs , 1990 .