Kung-Kiu Lau and Mario Ornaghi Department of Computer Science, University of...  Home/Search
Context Related
| cs.man.ac.uk/pub/kungk...lopstr94.ps.Z cs.man.ac.uk/~kungkiu...lopstr94.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.man.ac.uk/fmethods...kklaubib (more) From: cs.man.ac.uk/~kungkiu/pub/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we take a closer look at such frameworks. We shall explain what they are, and how they can be used to specify properties such as correctness and modularity (and hence reusability). Moreover, we shall show that there is a close two-way relationship between specification frameworks and deductive synthesis. In particular, a deductive synthesis process can provide a useful feedback mechanism which can not only check for desirable properties in the specification framework, but also... (Update)
Context of citations to this paper: More
...isoinitial. In this connection, a useful criterion for adequacy is the existence of a totally correct program for the specified relation ([6]) This means that we can actually use formal program derivation, or program synthesis, to enrich the specification language by...
.... semantics is closely related to initial semantics used in algebraic ADTs [14] Discussions of these semantics can also be found in [7, 12]. 5 We can also use induction principles in T (P ) such that f : a s 2 F , and ae(R) the declarations ae(r) ae(a) such that r :...
Cited by: More
A Unified View of Program Schemas and Proof Methods - Flener, Richardson (Correct)
Folding by Similarity - Galan, Canete (Correct)
Program Schemas as Steadfast Programs and their Usage in.. - Flener (1997) (Correct)
Active bibliography (related documents): More All
0.6: A Tutorial on Synthesis of Logic Programs from Specifications - Lau, Wiggins (Correct)
0.3: The Halting Problem for Deductive Synthesis of Logic Programs - Lau, Ornaghi, al. (1994) (Correct)
0.2: A Formal Approach to Deductive Synthesis of Constraint Logic.. - Lau, Ornaghi (1995) (Correct)
Similar documents based on text: More All
0.2: Steadfast Logic Programs - Lau, Ornaghi, Tärnlund (1994) (Correct)
0.2: The Relationship between Logic Programs and Specifications -.. - Lau, Ornaghi (1997) (Correct)
0.2: On Dynamic Aspects of OOD Frameworks in Component-based .. - Filipe, Lau, Ornaghi.. (2000) (Correct)
Related documents from co-citation: More All
18: Algebraic specifications (context) - Wirsing - 1990
16: Steadfast logic programs - Lau, Ornaghi et al.
15: The halting problem for deductive synthesis of logic programs - Lau, Ornaghi et al. - 1994
BibTeX entry: (Update)
K.-K. Lau and M. Ornaghi. On specification frameworks and deductive synthesis of logic programs. In L. Fribourg and F. Turini, editors, Proc. LOPSTR 94 and META 94 , LNCS 883, pages 104--121, Springer-Verlag, 1994. http://citeseer.ist.psu.edu/lau94specification.html More
@incollection{ lau94specification,
author = "Kung-Kiu Lau and Mario Ornaghi",
title = "On Specification Frameworks and Deductive Synthesis of Logic Programs",
booktitle = "Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, {LOBSTR}'94 and {META}'94, Pisa, Italy",
publisher = "Springer-Verlag",
address = "Berlin",
editor = "Laurent Fribourg and Franco Turini",
pages = "104--121",
year = "1994",
url = "citeseer.ist.psu.edu/lau94specification.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
759 Negation as failure (context) - Clark - 1978
224 Algebraic specification (context) - Wirsing - 1990
173 An initial algebra approach to specification (context) - Goguen, Thatcher et al. - 1978
68 Negation in Logic Programming (context) - Shepherdson - 1988
62 Model Theory (context) - Chang, Keisler - 1973
52 object-oriented and relational programming with logical sema.. (context) - Goguen, Meseguer - 1987
48 and generic modules for logic programming (context) - Goguen, Meseguer et al. - 1986
28 A first order theory of data and programs (context) - Clark, Tarnlund - 1977
27 The Deductive Foundations of Computer Programming (context) - Manna, Waldinger - 1993
25 the power of model theory in specifying abstract data types .. (context) - Bertoni, Mauri et al. - 1983
19 The halting problem for deductive synthesis of logic program.. - Lau, Ornaghi et al. - 1994
6 An incompleteness result for deductive synthesis of logic pr.. - Lau, Ornaghi - 1993
2 Ten Years of Logic Programming (context) - Deville, Lau et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.man.ac.uk/fmethods/refs/kklau-bib.html): More
An Incompleteness Result for Deductive Synthesis of Logic.. - Lau, Ornaghi (1993) (Correct)
Top-down Synthesis of Recursive Logic Procedures from.. - Department (1990) (Correct)
A Formal View of Specification, Deductive Synthesis and.. - Kung-Kiu Lau (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC