Refining specifications to logic programs (1996) [3 citations — 3 self]

Download:
pdf | ps

by I. J. Hayes, I. J. Hayes, R. G. Nickson, R. G. Nickson, P. A. Strooper, P. A. Strooper

Logic Program Synthesis and Transformation. Proc. of the 6th Int. Workshop, LOPSTR'96

ftp://svrc.it.uq.edu.au/techreports/tr96-34.ps.gz

Add To MetaCart

Popular Tags

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Hayes96refiningspecifications,
    author = {I. J. Hayes and I. J. Hayes and R. G. Nickson and R. G. Nickson and P. A. Strooper and P. A. Strooper},
    title = {Refining specifications to logic programs},
    booktitle = {Logic Program Synthesis and Transformation. Proc. of the 6th Int. Workshop, LOPSTR'96},
    year = {1996},
    pages = {1--19},
    publisher = {Springer}
}

Abstract:

reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstracts and compressed postscript files are available via

Citations

1154	A Discipline of Programming – Dijkstra - 1976
556	The Art of Prolog – Sterling, Shapiro - 1986
416	Programming from Specifications – MORGAN - 1994
211	KIDS: A semiautomatic program development system – Smith - 1990
135	A theoretical basis for stepwise refinement and the programming calculus. Science of Computer Programming – Morris - 1987
115	Essentials of logic programming – Hogger - 1990
103	Correctness Preserving Program Refinements: Proof Theory and Applications – Back - 1980
66	Logic Programming: Systematic Program Development – Deville - 1990
61	Systematic Software Development Using VDM, Second Edition – Jones - 1990
46	Types in Logic Programming – Pfenning, editor - 1992
37	Software Development with Z: A Practical Approach to Formal Methods – Wordsworth - 1992
31	Specification Statements and Refinements – Morgan, Robinson - 1987
24	Types and the intended meaning of logic programs – Naish - 1992
15	semantics-supported program synthesis – Syntax-directed - 1980
14	Program verification and prolog – Apt - 1995
11	Ergo 4.1 Reference Manual – Becht, Bloesch, et al. - 1996
11	A Refinement Calculus for Nondeterministic Expressions – Ward - 1994
7	Supporting contexts in program refinement – Nickson, Hayes - 1996
6	Verification of logic programs and imperative programs – Naish - 1993
5	Specification = program + types – Naish - 1987
4	Constructing logic programs – Jacquet - 1993
2	The synthesis and verification of logic programs. Research report – Clark - 1978
2	Formal program development in modular Prolog: A case study – Read, Kazmierczak - 1991
1	Refining specifications to logic programs. Fifth Australasian Refinement Workshop – Hayes, Strooper - 1996
1	On logic programming and the refinement calculus: semantics based program transformations – Kok - 1990

View or Download | Add to My Collection | Correct Errors