Annalisa Bossi, Sabina Rossi  Home/Search
Context
Related
| cs.man.ac.uk/pub/T...9861bossi.ps.Z 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/pub/TR...UMCS9861 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we introduce the concept of specialised derivations. They are intended to describe program behaviour whenever some constraints on procedure calls (preconditions) are assumed. Operational and fixpoint semantics, in the s-semantics style, are derived. They characterize successful derivations where only atoms satisfying the given precondition are selected. (Update)
Similar documents (at the sentence level): More
35.8%: Annalisa Bossi and Sabina Rossi - Dipartimento Di (Correct)
23.9%: Specialised Semantics of Logic Programs - Bossi, Rossi (Correct)
22.2%: Call-Correct Specialisation of Logic Programs - Bossi, Rossi (Correct)
Active bibliography (related documents): More All
0.2: Refining Specifications to Logic Programs - Hayes, Nickson, Strooper (1996) (Correct)
0.1: Unknown - (Correct)
0.1: Proving Correctness and Completeness of Normal Programs - a.. - Drabent (2001) (Correct)
Similar documents based on text: More All
0.5: Properties of Input-Consuming Derivations - Bossi, Etalle, Rossi (Correct)
0.5: Semantics of Input-Consuming Logic Programs - Bossi, Etalle, Rossi (2000) (Correct)
0.5: Termination of Simply Moded Logic Programs with Dynamic.. - Bossi, Etalle, Rossi.. (2004) (Correct)
BibTeX entry: (Update)
@misc{ bossi-specialising,
author = "Annalisa Bossi and Sabina Rossi",
title = "Specialising Logic Programs wrt Pre/Post Specifications",
url = "citeseer.ist.psu.edu/677989.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
146 Introduction to Logic Programming (context) - Apt - 1990
130 From Logic Programming to Prolog (context) - Apt - 1997
128 Declarative Modeling of the Operational Behavior of Logic La.. (context) - Falaschi, Levi et al. - 1989
82 semantics approach: theory and applications (context) - Bossi, Martelli et al. - 1994
68 A model-theoretic reconstruction of the operational semantic.. (context) - Falaschi, Levi et al. - 1993
58 Inductive Assertion Method for Logic Programs - Drabent, Maluszynski - 1988
42 Verifying Correctness of Logic Programs (context) - Bossi, Cocco - 1989
32 A new Declarative Semantics for Logic Languages (context) - Falaschi, Levi et al. - 1988
27 Proof methods of declarative properties of definite programs (context) - Deransart - 1993
26 Types and the intended meaning of logic programs (context) - Naish - 1992
15 Program verification and prolog - Apt - 1995
9 Verification of logic programs and imperative programs - Naish - 1993
7 A three-valued semantics for horn clause programs - Naish - 1998
Documents on the same site (ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-98-6-1.html): More
Using Decision Procedures to Build Domain-Specific Deductive .. - Van Baalen, Roach (Correct)
Inferring and Compiling Termination for Constraint Logic.. - Ebastien Hoarau Fred (1998) (Correct)
The Use of Renaming in Composing General Programs - Antonio Brogi Simone (1999) (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