Johan Boye, Jan Maluszynski  Home/Search
Context Related
| ida.liu.se/pub/lab...dirtypes_jlp.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: fermivista.math....ftp.ida.liu.se (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper shows that the annotation proof method, proposed by Deransart for proving declarative properties of logic programs, is also applicable for proving correctness of directional types. In particular, the sufficient correctness criterion of well-typedness by Bronsard et al, turns out to be a specialization of the annotation method. The comparison shows a general mechanism for construction of similar specializations, which is applied to derive yet another concept of well-typedness. The... (Update)
Context of citations to this paper: More
...The inference of integer arguments is done in two phases bottom up and top down. Bottom up inference is similar to type analysis (cf. [8,5]) using the abstract domain fint; not intg and the observation that an argument may became int only if it is obtained from is 2 or is...
...Modes Many sorted or even polymorphic types provide just one dimension of typing in logic programming. We also employ modes or directions [6] for parameter positions of predicates. As for Laptob, two basic modes are relevant, namely and for input or output positions,...
Cited by: More
Constraint-Based Mode Analysis of Mercury - Overton, Somogyi, Stuckey (2002) (Correct)
Polymorphic Directional Types for Logic Programming - Rychlikowski, Truderung (2001) (Correct)
Proving Correctness and Completeness of Normal Programs - a.. - Drabent (2001) (Correct)
Similar documents (at the sentence level):
32.9%: Directional Types for Logic Programs and the Annotation Method - Boye, Maluszynski (1995) (Correct)
12.2%: Two Aspects of Directional Types - Boye, Maluszynski (1995) (Correct)
Active bibliography (related documents): More All
0.5: Synthesis of Directionality Information for Functional.. - Boye, Paakki.. (1993) (Correct)
0.5: Dependency-Based Groundness Analysis of Functional Logic.. - Boye, Paakki, Maluszynski (1993) (Correct)
0.5: Facilitating the Development of Parallel Implementations .. - Thanos, Papakonstantinou (Correct)
Similar documents based on text: More All
0.3: Under consideration for publication in Theory and Practice of.. - Errors In Clp (Correct)
0.1: Using parametric set constraints for locating errors.. - Drabent, MALUSZYNSKI, .. (Correct)
0.1: Termination in a Hierarchy of General Logic Programs - Bossi, Cocco, Etalle, Rossi (2001) (Correct)
Related documents from co-citation: More All
9: Deriving descriptions of possible values of program variables by means of abstra.. (context) - Janssens, Bruynooghe - 1992
9: A framework of directionality for proving termination of logic programs (context) - Bronsard, Lakshman et al. - 1992
9: Inductive Assertion Method for Logic Programs - Drabent, Ma - 1988
BibTeX entry: (Update)
J. Boye and J. Ma/luszy'nski. Directional types and the annotation method. Journal of Logic Programming, 33:179--220, 1997. http://citeseer.ist.psu.edu/boye97directional.html More
@article{ boye97directional,
author = "Johan Boye and Jan Maluszynski",
title = "Directional Types and the Annotation Method",
journal = "Journal of Logic Programming",
volume = "33",
number = "3",
pages = "179-220",
year = "1997",
url = "citeseer.ist.psu.edu/boye97directional.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
440 The Art of Prolog (context) - Sterling, Shapiro - 1986
121 Concurrent Constraint Programming Languages (context) - Saraswat - 1990
78 Predicate logic as a computational formalism (context) - Clark - 1979
70 A grammatical view on logic programming (context) - Deransart, Ma - 1993
67 Reasoning about Prolog programs: from modes through types to.. - Apt, Marchiori - 1994
55 A framework of directionality for proving termination of log.. (context) - Bronsard, Lakshman et al.
54 SICStus Prolog user's manual (context) - Carlsson, Wid'en et al.
52 Towards a meaning of LIFE (context) - Ait-Kaci, Podelski - 1993
48 the unification-free Prolog programs - Apt, Etalle - 1993
42 Verifying correctness of logic programs (context) - Bossi, Cocco - 1989
42 Termination proofs for logic programs (context) - Plumer - 1990
41 an efficient purely declarative logic programming language (context) - Somogyi, Henderson et al. - 1996
31 Directional type checking of logic programs - Aiken, Lakshman - 1994
31 Declarative programming in Prolog - Apt - 1993
29 Attribute Grammars: Definitions (context) - Deransart, Jourdan et al. - 1988
28 Adding equations to NU-Prolog - Naish
27 Proof methods of declarative properties of definite programs (context) - Deransart - 1993
23 Proving correctness of logic programs using axiomatic semant.. (context) - Colussi, Marchiori - 1991
23 Coroutining and the construction of terminating logic progra.. - Naish - 1992
22 Two aspects of directional types - Boye, Ma
18 Declarative modelling of the operational behaviour of logic .. (context) - Falaschi, Levi et al. - 1989
18 Why the occur-check is not a problem (context) - Apt, Pellegrini - 1992
17 Proofs of partial correctness for attribute grammars with ap.. (context) - Courcelle, Deransart - 1988
15 The intrinsically exponential complexity of the circularity .. (context) - Jazayeri, Ogden et al. - 1975
14 A declarative view of modes - Naish - 1996
13 SLD-resolution -- an operational semantics for logic program.. (context) - Boye
13 A typed foundation for directional logic programming (context) - Reddy - 1992
11 Logic Programs with External Procedures - Ma, Bonnier et al. - 1993
11 Avoiding dynamic delays in functional logic programs - Boye - 1993
7 On Completeness of the Inductive Assertion Method for Logic .. (context) - Drabent - 1988
7 Equations and FUNctions (context) - Ait-Kaci, Lincoln et al. - 1987
5 i and J. Ma/luszy'nski. AND-parallelism with intelligent bac.. (context) - Dembi'nsk - 1985
5 Linkoping studies in science and technology (context) - Boye, in et al. - 1996
3 Induction assertion method for logic programs (context) - Drabent, Ma - 1988
3 Multi-pass execution of functional logic programs (context) - Paakki - 1994
2 Logical Attribute Grammars (context) - Deransart - 1983
2 Logic Programming --- Proceedings of the Joint international.. (context) - Apt - 1992
2 Englewood Cliffs NJ: Prentice-Hall (context) - Dijkstra, of - 1976
2 Integrating modes and types into a Prolog type checker (context) - Rouzaud, Nguyen-Phoung
1 Utilisation de D'eclarations en Programmation Logique avec C.. (context) - V'etillard - 1994
1 Programming language implementation and logic programming --.. (context) - Ma, Wirsing - 1991
1 A directional type checker for Prolog (context) - Nixon - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.ida.liu.se.html): More
User Interface Design Support Tools and Critiquing - Ericsson (1994) (Correct)
Specification and Synthesis of Plans Using the Features and.. - Karlsson (1995) (Correct)
Computing Circumscription Revisited: Preliminary Report - Doherty, Lukaszewicz, Szalas (1995) (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