Kung-Kiu Lau, Mario Ornaghi  @ NUS Home/Search
Context Related
| cs.man.ac.uk/~kungkiu/p...iclp93.ps.gz cs.man.ac.uk/pub/kungkiu...iclp93.ps.Z Cached: PS.gz PS PDF Image Update Help From: cs.man.ac.uk/~kungkiu/pub/ (more) From: cs.man.ac.uk/fmethods...kklaubib (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We formalise the derivation of logic programs from their specifications by deductive synthesis, and introduce the notion of uniform equivalence between logical systems. This enables us to present an incompleteness result for deductive synthesis of logic programs from first-order logic specifications. 1 Introduction Logic program synthesis was studied by some researchers in the early days of logic programming. Most notable among these are Clark, Hansson, Hogger, and Tarnlund. Automated (or... (Update)
Context of citations to this paper: More
.... we shall base our description on the work by Bundy and Wiggins [1] ffl For deductive synthesis, we follow that of Lau and Ornaghi [8]. For transformational synthesis by fold unfold, we will describe the work of Sato and Tamaki [11] For transformational synthesis by...
...a distinction between specification, synthesis , and transformation. This distinction is based on a formal framework described in [7] and [8]. In this framework, we view logic programs as (first order) axiomatisations. Specification, synthesis and transformation are operations...
Cited by: More
A Formal Approach to Deductive Synthesis of Constraint Logic.. - Lau, Ornaghi (1995) (Correct)
On Specification Frameworks and Deductive Synthesis of Logic.. - Kung-Kiu Lau (1994) (Correct)
Logic Program Synthesis - Deville, Lau (1993) (Correct)
Active bibliography (related documents): More All
0.5: A Formal View of Specification, Deductive Synthesis and.. - Kung-Kiu Lau (Correct)
0.3: Strong Constructivity of Second-Order Intuitionistic Arithmetic - Marco Benini (Correct)
0.3: Constructive Methods in Automatic Analysis of Correctness.. - Benini, Kalvala, Nowotka (Correct)
Similar documents based on text: More All
0.3: The Halting Problem for Deductive Synthesis of Logic Programs - Lau, Ornaghi, al. (1994) (Correct)
0.2: Tutorial: Synthesis of Logic Programs - Lau, Wiggins (Correct)
0.2: Steadfast Logic Programs - Lau, Ornaghi, Tärnlund (1994) (Correct)
Related documents from co-citation: More All
4: Derivation of logic programs (context) - HOGGER - 1981
4: Negation in logic programming (context) - Shepherdson - 1988
4: A natural programming calculus (context) - Hansson, Tarnlund - 1979
BibTeX entry: (Update)
K.K. Lau and M. Ornaghi. An incompleteness result for deductive synthesis of logic programs. In D.S. Warren, editor, Proc. 10 th Int. Conf. on Logic Programming , pages 456--477, MIT Press, 1993. http://citeseer.comp.nus.edu.sg/126878.html More
@misc{ lau93incompleteness,
author = "K. Lau and M. Ornaghi",
title = "An incompleteness result for deductive synthesis of logic programs",
text = "K.K. Lau and M. Ornaghi. An incompleteness result for deductive synthesis
of logic programs. In D.S. Warren, editor, Proc. 10 th Int. Conf. on Logic
Programming , pages 456--477, MIT Press, 1993.",
year = "1993",
url = "citeseer.comp.nus.edu.sg/126878.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
104 Metamathematical Investigation of Intuitionistic Arithmetic .. (context) - Troelstra - 1973
94 A deductive approach to program synthesis (context) - Manna, Waldinger - 1980
50 Derivation of logic programs (context) - Hogger - 1981
39 A proof-theoretic approach to logic programming II (context) - Hallnas, Schroeder-Heister - 1991
39 A proof-theoretic approach to logic programming (context) - Hallnas, Schroeder-Heister - 1990
30 The synthesis of logic programs from inductive proofs (context) - Bundy, Smaill et al. - 1990
26 Introduction to Logic Programming (context) - Hogger - 1984
19 Top-down synthesis of recursive logic procedures from first-.. - Lau, Prestwich - 1990
11 A natural programming calculus (context) - Hansson, Tarnlund - 1979
8 Studies in Logic and the Foundations of Mathematics (context) - Takeuti - 1975
3 Towards a formal framework for deductive synthesis of logic .. (context) - Lau, Ornaghi - 1992
3 A purely logical computing model: open proofs as programs (context) - Miglioli, Ornaghi - 1979
1 Logic program synthesis -- a catalogue of methods (context) - Lau, Deville
1 On completeness of program synthesis systems (context) - Voronkov - 1992
Documents on the same site (http://www.cs.man.ac.uk/~kung-kiu/pub/): More
Top-down Synthesis of Sorting Algorithms - Lau (1992) (Correct)
A Note on Synthesis and Classification of Sorting Algorithms - Lau (1989) (Correct)
Modules, Reuse and Correctness - Lau, Ornaghi (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.