Weidong Chen, Michael Kifer  Home/Search
Context Related
| sunysb.edu/pub/TechReports...types.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: sunysb.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper analyses the requirements to the notion of type correctness in logic programming and proposes several "adequacy" criteria for such a system. We then present a type theory for a higher-order logic programming language, HiLog [5], which is adequate in that sense. The proposed type system not only captures type errors of syntactic origin, but also ensures that all atoms true in a canonical model (such as the perfect model or the well-founded partial model) of a well-typed program are... (Update)
Context of citations to this paper: More
.... Closer to our type system are proposals using so called implication types [Red88, PR89] or type dependencies ( KW90] see also [CK93]) An example for a type dependency is appendhlist(T ) list(T ) list(T ) 1; 2 3; 3 1; 2i. Its meaning is: For all , if the first...
...elements of a viable type system as parametric and inclusion polymorphism. This is relegated to a richer, meta level type system [4]. However, our sort system is arity polymorphic and recursive, and despite its sophistication, well formedness of HiLog formulas with...
Cited by: More
Expressive Type Systems for Logic Programming Languages - Jeffery (2002) (Correct)
Logical Foundations of Object-Oriented and Frame-Based Languages - Kifer, Lausen, Wu (1990) (Correct)
Sorted HiLog: Sorts in Higher-Order Logic Data Languages - Chen, Kifer (1994) (Correct)
Active bibliography (related documents): More All
2.5: A First-Order Theory of Types and Polymorphism in Logic.. - Kifer, Wu (1990) (Correct)
0.8: Polymorphically Typed Logic Programs - Yardeni, Fruehwirth, Shapiro (1991) (Correct)
0.6: HiLog: A Foundation for Higher-Order Logic Programming - Chen, Kifer, Warren (1989) (Correct)
Similar documents based on text: More All
0.2: Performance Analysis of Mobile IP Extended with - Routing Agents Yu (Correct)
0.2: Route Optimization and Location Updates for Mobile Hosts - Weidong Chen Eric (1996) (Correct)
0.2: Cv - Davulcu (Correct)
Related documents from co-citation: More All
4: A semantics for typed logic programs (context) - Hill, Topor - 1992
4: Polymorphically Typed Logic Programs - Yardeni, Fruwirth et al. - 1992
3: Towards a theory of types in Prolog (context) - Mishra - 1984
BibTeX entry: (Update)
Weidong Chen and Michael Kifer. Polymorphic types in higher-order logic programming. TR 93/20, SUNY, December 1993. http://citeseer.ist.psu.edu/chen93polymorphic.html More
@misc{ chen93polymorphic,
author = "W. Chen and M. Kifer",
title = "Polymorphic types in higher-order logic programming",
text = "Weidong Chen and Michael Kifer. Polymorphic types in higher-order logic
programming. TR 93/20, SUNY, December 1993.",
year = "1993",
url = "citeseer.ist.psu.edu/chen93polymorphic.html" }
Citations (may not include all citations):1002 Programming Language (context) - Stroustrup - 1986
981 Principles of Database and Knowledge-Base Systems (context) - Ullman - 1988 ACM
413 Logical foundations of object-oriented and frame-based langu.. - Kifer, Lausen et al. - 1993 ACM DBLP
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
312 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1988 ACM DBLP
109 A polymorphic type system for Prolog (context) - Mycroft, O'Keefe - 1984 DBLP
101 HiLog: A foundation for higher-order logic programming - Chen, Kifer et al. - 1993 DBLP
94 A finite presentation theorem for approximating logic progra.. - Heintze, Jaffar - 1990 ACM DBLP
91 Towards a theory of types in Prolog (context) - Mishra - 1984 DBLP
66 Declaration-free type checking (context) - Mishra, Reddy - 1985 ACM DBLP
48 Computational problems related to the design of normal form .. (context) - Beeri, Bernstein - 1979
41 Glue-Nail: A deductive database system - Phipps, Derr et al. - 1991
41 HiLog: A first-order semantics for higher-order logic progra.. (context) - Chen, Kifer et al. - 1989 DBLP
39 A more expressive formulation of many sorted logic (context) - Cohn - 1987 ACM DBLP
33 A semantics for typed logic programs (context) - Hill, Topor - 1992 DBLP
31 Polymorphically typed logic programs - Yardeni, Fruehwirth et al. - 1991 DBLP
25 Derivation of polymorphic types for Prolog programs (context) - Zobel - 1987 DBLP
23 A type inference system for Prolog (context) - Xu, Warren - 1988 DBLP
22 Relations with relation names as arguments: Algebra and calc.. (context) - Ross - 1992 DBLP
20 Logic programs as types for logic programs (context) - Fruewirth, Shapiro et al. - 1991 DBLP
16 A polymorphic type system with subtypes for Prolog (context) - Dietrich, Hagl - 1988 ACM DBLP
15 Logic programming with polymorphically order-sorted types (context) - Smolka - 1988 ACM DBLP
13 Polymorphic higher-order programming in prolog (context) - Hanus - 1989
12 Parametric order-sorted types in logic programming (context) - Hanus - 1991 ACM DBLP
11 Inference of polymorphic types for logic programs (context) - Pyo, Reddy - 1989
10 Logic programming with type specifications (context) - Hanus - 1992 DBLP
10 Adding redundancy to obtain more reliable and more readable .. (context) - Bruynooghe - 1982
9 Type inference in Prolog (context) - Azzoune - 1988 ACM DBLP
9 Notions of polymorphism for predicate logic programs (context) - Reddy - 1988
8 Types in higher-order logic programming (context) - Nadathur, Pfenning - 1992
7 On negation in HiLog - Ross - 1991 DBLP
4 Polymorphic type checking for Prolog in HiLog (context) - Fruehwirth - 1989
4 Type inference by program transformation and partial evaluat.. (context) - Fruehwirth - 1988 ACM DBLP
4 Type inference in Prolog and its application (context) - Kanamori, Horiuchi - 1985
3 Type declarations as subtype constraints in logic programmin.. (context) - Jacobs - 1990 ACM DBLP
3 A perspective on types for logic programs (context) - Reddy - 1991
3 Semantics of types in logic programming (context) - Xu, Warren - 1990
2 A Theory of Types and Polymorphism in Logic Programming (context) - Wu - 1992
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/ftp.cs.sunysb.edu.html): More
A Summary of XSB Performance - Swift, Warren (1993) (Correct)
XSB: An Overview of its Use and Implementation - Sagonas, Swift, Warren (1993) (Correct)
Priority as Extremal Probability - Smolka, Steffen (1990) (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