Norbert E. Fuchs  @ NUS Home/Search
Context
Related
| ifi.unizh.ch/pub/te...Hoare_Logic.ps.gz Cached: PS.gz PS PDF Image Update Help From: fermivista.math...tp.ifi.unizh.ch (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, I present a new method that is based on non-executable logic specifications derived from Hoare correctness formulae for logic programs. Logic specifications specify the same programs, they are equivalent to correctness formulae. 2 (Update)
Active bibliography (related documents): More All
0.8: Specifications Are (Preferably) Executable - Fuchs (1992) (Correct)
0.3: Spill - a Logic Language for Writing Testable Requirements.. - Kluzniak, Milkowska (1997) (Correct)
0.2: Logic Program Synthesis - Deville, Lau (1993) (Correct)
Similar documents based on text: More All
0.2: Tnimage Scientific Image Analysis Software - Transforming and.. - Nelson (2000) (Correct)
0.2: Hoare Logic and Auxiliary Variables - Kleymann (1998) (Correct)
0.1: Specification Variables: Between the Angel and the Demon - Laibinis, von Wright (2001) (Correct)
BibTeX entry: (Update)
@misc{ fuchs-hoare,
author = "Norbert E. Fuchs",
title = "Hoare Logic, Executable Specifications, and Logic Programs",
url = "citeseer.comp.nus.edu.sg/102328.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
759 Negation As Failure (context) - Clark - 1978
652 A Discipline of Programming (context) - Dijkstra - 1976
650 An axiomatic basis for computer programming (context) - Hoare - 1969
182 Logic for Problem Solving (context) - Kowalski - 1979
105 Making Prolog More Expressive (context) - Lloyd, Topor - 1984
78 Predicate Logic As a Computational Formalism (context) - Clark - 1979
49 Methods and Logics for Proving Programs (context) - Cousot - 1990
49 Negation and Control in Prolog (context) - Naish
30 The Synthesis of Logic Programs from Inductive Proofs (context) - Bundy, Smaill et al. - 1990
23 Extracting logic programs from proofs that use extended Prol.. (context) - Fribourg - 1990
22 The relation between logic programming and logic specificati.. (context) - Kowalski - 1985
19 Computer Science Department (context) - Hill, Lloyd et al.
11 Schema-Guided Synthesis of Logic Programs (context) - Flener, Stepwise - 1992
9 Synthesis of a Family of Recursive Sorting Procedures - Lau, Prestwich - 1991
7 Systematic Program Development (context) - Deville, Programming - 1990
3 New Research Directions in Logic Specification Languages (context) - Levi - 1986
1 Proving Properties of Logic Programs Using Axiomatic Semanti.. (context) - Colussi, Marchiori - 1991
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.ifi.unizh.ch.html): More
Beauty and the Beast or A Formal Semantic Description .. - Baumann, Fässler.. (1993) (Correct)
A Generic Multicast Transport Service to Support.. - Maffeis.. (1995) (Correct)
Attempto - From Specifications in Controlled Natural.. - Schwitter, Fuchs (1996) (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.