Mode Analysis Domains for Typed Logic Programs (2000)

Cached

Download Links

by Jan Georg Smaus , Patricia M. Hill , Andy King
Citations:15 - 3 self

Documents Related by Co-Citation

191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
122 Deriving description of possible values of program variables by means of abstract interpretation – G Janssens, M Bruynooghe - 1992
141 A Polymorphic Type System For Prolog – A Mycroft, R O'Keefe - 1984
1858 Foundation of Logic Programming – J W Lloyd - 1987
6 Typed static analysis: Application to groundness analysis of Prolog and lambda-Prolog – Olivier Ridoux, Patrice Boizumault - 1999
54 The execution algorithm of Mercury, an e#cient purely declarative logic programming language – Z Somogyi, F Henderson, T Conway - 1996
22 A system of precise modes for logic programs – Z Somogyi - 1987
12 Binding-Time Analysis by Constraint Solving - A modular and higher-order approach for Mercury – Wim Vanhoof - 2000
256 The godel programming language – P M Hill, J W Lloyd - 1992
56 Typed Prolog: A semantic reconstruction of the MycroftO’Keefe type system – T K Lakshman, U S Reddy - 1991
23 On Practicality of Abstract Equation Systems – Anne Mulkers, Wim Simoens, Gerda Janssens , Maurice Bruynooghe - 1994
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
16 A Framework for Analysis of Typed Logic Programs – Vitaly Lagoon, Peter J. Stuckey - 2001
44 Type Dependencies for Logic Programs using ACI-unification – Michael Codish, Vitaly Lagoon - 1996
40 Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop – Michael Codish, Bart Demoen - 1994
939 A theory of type polymorphism in programming – Robin Milner - 1978
88 Static Inference of Modes and Data Dependencies in Logic Programs – Saumya K. Debray - 1989
28 Directional Types and the Annotation Method – Johan Boye, Jan Maluszynski - 1997
34 Abstract Interpretation for Concurrent Logic Languages – C Codognet, P Codognet, M Corsini - 1990