Yves Deville, Kung-Kiu Lau  @ NUS Home/Search
Context Related
| info.ucl.ac.be/pub/publi...JLPyde.ps.gz cs.man.ac.uk/~kungkiu/pu...jlp94.ps.gz Cached: PS.gz PS PDF Image Update Help From: info.ucl.ac.be/publ/publi (more) From: cs.man.ac.uk/~kungkiu/pub/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents an overview and a survey of logic program synthesis. Logic program synthesis is interpreted here in a broad way; it is concerned with the following question: given a specification, how do we get a logic program satisfying the specification? Logic programming provides a uniquely nice and uniform framework for program synthesis since the specification, the synthesis process and the resulting program can all be expressed in logic. Three main approaches to logic program... (Update)
Context of citations to this paper: More
...be as well known as Mercury, and for this reason we chose Mercury over GSdel for code generation. Logic program synthesis [Deville and Lau, 1994] is a method of deriving logic programs from specifications, similar to that of the refinement calculus. Typically synthesis works...
...Saturn , and automatically synthesizes a FORTRAN program to solve it. Amphion NAIF uses deductive synthesis (a.k. a proofs as programs [Deville 94] in which programs are synthesized as a byproduct of theorem proving. In this paradigm, problem specifications are of the form ,...
Cited by: More
Using Decision Procedures to Build Domain-Specific Deductive .. - Van Baalen, Roach (Correct)
Folding by Similarity - Galan, Canete (Correct)
Using Proof in Transformation Synthesis for Automatic.. - Cook (2001) (Correct)
Active bibliography (related documents): More All
1.3: On the Use of Inductive Reasoning in Program Synthesis.. - Flener, Popelínsky (1994) (Correct)
0.9: Logic Program Development Based on Typed, Moded Schemata and.. - Marakakis (1997) (Correct)
0.9: Logic Program Schemata: Synthesis and Analysis - Flener (1995) (Correct)
Similar documents based on text: More All
0.1: Tutorial: Synthesis of Logic Programs - Lau, Wiggins (Correct)
0.1: An Abstract Formulation of Correct Schemas for Program Synthesis - Flener, al. (1999) (Correct)
0.1: The Relationship between Logic Programs and Specifications -.. - Lau, Ornaghi (1997) (Correct)
Related documents from co-citation: More All
11: A transformation system for developing recursive programs - Burstall, Darlington - 1977
10: Derivation of logic programs (context) - HOGGER - 1981
8: Foundations of Logic Programming (context) - Lloyd - 1987
BibTeX entry: (Update)
Yves DEVILLE and Kung-Kiu LAU. Logic program synthesis. Journal of Logic Programming, 19(20):321--350, 1994. http://citeseer.comp.nus.edu.sg/107135.html More
@misc{ deville94logic,
author = "Y. DEVILLE and K. LAU",
title = "Logic program synthesis",
text = "Yves DEVILLE and Kung-Kiu LAU. Logic program synthesis. Journal of Logic
Programming, 19(20):321--350, 1994.",
year = "1994",
url = "citeseer.comp.nus.edu.sg/107135.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
505 Implementing Mathematics with the NuPRL Proof Development Sy.. - Constable - 1986
440 The Art of Prolog (context) - Sterling, Shapiro - 1986
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988
388 Inductive Logic Programming - Muggleton - 1992
388 Inductive logic programming - Muggleton - 1991
363 Programming in Prolog (context) - Clocksin, Mellish - 1984
328 Algorithmic Program Debugging (context) - Shapiro - 1983
267 A note on inductive generalization (context) - Plotkin - 1970
233 The formulae-as-type notion of construction (context) - Howard - 1980
204 KIDS: A semiautomatic program development system - Smith - 1990
168 Rippling: A heuristic for guiding inductive proofs - Bundy, Stevens et al. - 1991
127 PROLOG Programming for Artificial Intelligence (context) - Bratko - 1986
121 Proving and applying program transformations expressed with .. (context) - Huet, Lang - 1978
118 Unfounded sets and well-founded semantics for general logic .. (context) - Van Gelder, Ross et al. - 1988
98 The Handbook of Artificial Intelligence (context) - Barr, Feigenbaum - 1982
97 Experiments with proofs plans for induction - Bundy, van Harmelen et al. - 1991
94 A deductive approach to program synthesis (context) - Manna, Waldinger - 1980
87 The Oyster-Clam system (context) - Bundy, van Harmelen et al. - 1990
79 Logic Programming: Systematic Program Development (context) - Deville - 1990
78 Predicate logic as a computational formalism (context) - Clark - 1979
69 A further note on inductive generalization (context) - Plotkin - 1971
63 Transformational systems and the algebraic structure of atom.. (context) - Reynolds - 1970
61 Equivalences of logic programs (context) - Maher - 1988
58 Inductive assertion method for logic programs - Drabent, Maluszynsky - 1987
50 Proving properties of programs by structural induction (context) - Burstall - 1969
50 Derivation of logic programs (context) - Hogger - 1981
42 Verifying correctness of logic programs (context) - Bossi, Cocco - 1989
42 ACM Transactions on Programming Languages and Systems (context) - Bates, Constable et al. - 1985
41 The structure and design of global search algorithms (context) - Smith - 1988
34 Extensions to the rippling-out tactic for guiding inductive .. (context) - Bundy, van Harmelen et al. - 1990
32 ACM Transactions on Programming Languages and Systems (context) - Bossi, Cocco et al. - 1990
30 The synthesis of logic programs from inductive proofs (context) - Bundy, Smaill et al. - 1990
28 Automatic programming: Myths and prospects (context) - Rich, Waters - 1988
28 Logic program synthesis via proof planning - Kraan, Basin et al. - 1993
28 Department of Computer Science (context) - Hill, Lloyd et al. - 1991
28 A first order theory of data and programs (context) - Clark, Tarnlund - 1977
28 Middle-out reasoning for logic program synthesis - Kraan, Basin et al. - 1993
26 Logic program synthesis from incomplete specifications - Flener, Deville - 1993
26 Introduction to Logic Programming (context) - Hogger - 1984
24 Preservation of stronger equivalence in unfold/fold logic pr.. (context) - Kanamori, Kawamura - 1988
23 Proving correctness of logic programs using axiomatic semant.. (context) - Colussi, Marchiori - 1991
23 Extracting logic programs from proofs that use extended Prol.. (context) - Fribourg - 1990
21 Turning eureka steps into calculations in automatic program .. (context) - Bundy, Smaill et al. - 1990
21 Program proving as hand simulation with a little induction (context) - Burstall - 1974
19 Top-down synthesis of recursive logic procedures from first-.. - Lau, Prestwich - 1990
17 Journal of Logic Programming (context) - Bruynooghe, De Schreye et al. - 1989
17 Synthesis and transformation of logic programs in the whelk .. (context) - Wiggins - 1992
17 Proofs of partial correctness for attribute grammars with ap.. (context) - Courcelle, Deransart - 1988
16 year perspective on automatic programming (context) - Balzer - 1985
15 Observational equivalences for logic programs - Gabrielli, Levi et al. - 1992
14 An algorithm that infers theories from facts (context) - Shapiro - 1981
14 Composing recursive logic programs with clausal join (context) - Lakhotia, Sterling - 1988
14 Generalization and program schemata: A step towards computer.. (context) - Deville, Burnay - 1989
14 Predicate logic: A calculus for deriving programs (context) - Clark, Sickel - 1977
13 Programming by example and proving by example using higher-o.. (context) - Hagiya - 1990
12 LOPS - a system based on a strategical approach to program s.. (context) - Bibel, Hornig - 1984
12 Formulation of induction formulas in verification of Prolog .. (context) - Kanamori, Fujita - 1986
11 A natural programming calculus (context) - Hansson, Tarnlund - 1979
11 schema-guided synthesis of logic programs (context) - Flener, Deville - 1992
10 Induction of Schemata for Program Synthesis (context) - Tinkham - 1990
10 Automatic Program Construction Techniques (context) - Biermann, Guiho et al. - 1984
10 Automatic programming (context) - Biermann - 1992
9 First order compiler: A deterministic logic program synthesi.. (context) - Sato, Tamaki - 1989
9 Construction of logic programs based on generalized unfold/f.. (context) - Kanamori, Horiuchi - 1987
9 Folon: An environment for declarative construction of logic .. (context) - Henrard, Le Charlier - 1992
9 Synthesis of a family of recursive sorting procedures - Lau, Prestwich - 1991
9 Van Caneghem (context) - Giannesini, Kanoui et al. - 1986
9 Verification of logic programs and imperative programs - Naish - 1993
8 A notion of map between logic programs (context) - Power, Sterling - 1990
8 Verification of Prolog programs using an extension of execut.. (context) - Kanamori, Seki - 1986
8 Basic Prolog schemata (context) - Gegg-Harrison - 1989
8 Proof methods of partial correctness and weak completeness f.. (context) - Ferrand, Deransart - 1992
7 Formal mathematics for verifiably correct program synthesis - Kreitz - 1993
7 Meta-synthesis --- Deriving programs that develop programs (context) - Kreitz - 1993
7 programming techniques (context) - Lakhotia - 1989
6 An incompleteness result for deductive synthesis of logic pr.. - Lau, Ornaghi - 1993
6 Clich'e programming in Prolog (context) - Barker-Plummer - 1990
6 Refinement strategies for inductive learning of simple Prolo.. (context) - Kirschenbaum, Sterling - 1991
4 Combining induction with resolution in logic programming (context) - Lever - 1991
4 Proving program properties by means of SLS-resolution (context) - Lever - 1991
4 Automatic generation of simplification lemmas for inductive .. (context) - Fribourg - 1991
4 Negation and control in automatically generated logic progra.. (context) - Wiggins - 1992
3 Guiding synthesis proofs - Lombart, Wiggins et al. - 1993
3 Knowledge-based programming: A survey of program design and .. (context) - Goldberg - 1986
3 Logic Algorithm Synthesis from Examples and properties (context) - Flener - 1993
3 Towards a formal framework for deductive synthesis of logic .. (context) - Lau, Ornaghi - 1992
2 Synthesis and transformation of logic programs from construc.. (context) - Wiggins, Bundy et al. - 1992
2 Towards a formal theory of program construction - Kreitz - 1990
2 Logic Programming Series (context) - O'Keefe, of - 1990
2 deductive synthesis and transformation of logic programs (context) - Lau, Ornaghi et al. - 1994
2 Logic program derivation for a class of first order logic re.. (context) - Dayantis - 1987
2 A methodological view of logic programming with negation (context) - Deransart, Ferrand - 1989
2 Logic program synthesis from first order logic specification.. (context) - Kawamura - 1992
2 Prolog programming using skeletons and techniques (context) - Kirschenbaum, Sterling - 1990
2 Ten Years of Logic Programming (context) - Muggleton, De Raedt et al. - 1993
1 The IO-graph method: Algorithm design and implementation (context) - Neugebauer - 1992
1 Derivation of efficient logic programs by synthesizing new p.. (context) - Kawamura - 1991
1 The LOPS approach: A transformation point of view (context) - Neugebauer - 1993
1 Perfect model semantics (context) - Przymunsinski - 1988
1 A system extracting programs from proofs (context) - Hayashi - 1986
1 Program synthesis in predicate logic (context) - Hogger - 1978
1 Synthesis of composition and discriminate operators for divi.. (context) - Flener, Deville - 1993
1 A scheme-based approach to teaching recursive Prolog program.. (context) - Gegg-Harrison - 1990
1 of Information Processing and Computer Science and Computer .. (context) - Hansson, Development et al. - 1980
1 an interactive program verifier for Prolog programs (context) - Balogh - 1978
1 A Workshop for Developing Logic Programs by Stepwise Enhance.. (context) - Lakhotia - 1989
1 Stepwise enhencement: A variant of incremental programming (context) - Lakhotia, Sterling - 1990
1 Logic programming: Methodology and teaching (context) - Deransart, Ferrand - 1988
1 The synthesis of LISP programs from examples (context) - Smith - 1984
1 Extracting logic programs that use extended Prolog execution.. (context) - Fribourg - 1993
1 Personal Communication (context) - Biermann - 1993
1 Soundness and completeness of extended execution for proving.. (context) - Kanamori - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.info.ucl.ac.be/publ/publi.html): More
Integrating Obstacles in Goal-Driven Requirements Engineering - van Lamsweerde, Letier (1998) (Correct)
Constraint Satisfaction over Connected Row Convex.. - Deville, Barette, Van.. (1997) (Correct)
Inferring Declarative Requirements Specifications from.. - van Lamsweerde, Willemet (1998) (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.