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
121 Deriving descriptions of possible values of program variables by means of abstract interpretation – G Janssens, M Bruynooghe - 1992
140 A Polymorphic Type System For Prolog – A Mycroft, R O'Keefe - 1984
1852 Foundations 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
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
54 The execution algorithm of Mercury, an e#cient purely declarative logic programming language – Z Somogyi, F Henderson, T Conway - 1996
255 The Gödel Programming Language – Patricia M Hill, John W Lloyd - 1994
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
1868 Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints – P Cousot, R Cousot - 1977
44 An Overview of HAL – Bart Demoen, Maria García de la Banda, Warwick Harvey, Kim Marriott, Peter Stuckey - 1999
15 A Framework for Analysis of Typed Logic Programs – Vitaly Lagoon, Peter J. Stuckey - 2001
43 Type Dependencies for Logic Programs using ACI-unification – Michael Codish, Vitaly Lagoon - 1996
39 Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop – Michael Codish, Bart Demoen - 1994
935 A theory of type polymorphism in programming – Robin Milner - 1978
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