Mode Analysis Domains for Typed Logic Programs (2000)

Cached

Download Links

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

Active Bibliography

4 Improving Precision of Type Analysis Using Non-Discriminative Union 47 – Lunjin Lu - 2003
Logic and Abstraction, Verification and Falsification – Jan-georg Smaus - 2008
3 Analysis of Polymorphically Typed Logic Programs Using ACI-Unification – Jan-Georg Smaus - 2001
6 Typed static analysis: Application to groundness analysis of Prolog and lambda-Prolog – Olivier Ridoux, Patrice Boizumault - 1999
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification – unknown authors - 2008
3 Domain Construction for Mode Analysis of Typed Logic Programs – Jan-Georg Smaus, Pat Hill, Andy King - 1997
4 A Toolkit for Static Analysis of Constraint Logic Programs – Hüseyin Saglam - 1997
12 Semantics-Based Program Analysis for Logic-Based Languages Using XSB – Michael Codish, Bart Demoen, Konstantinos Sagonas - 1998
8 Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping – Jan-Georg Smaus, François Fages, Pierre Deransart - 2000
5 Meta-Circular Abstract Interpretation in Prolog – Michael Codish, Harald Søndergaard
12 Polymorphic Type Analysis in Logic Programs by Abstract Interpretation – Lunjin Lu - 1998
2 Effective Meta-programming in Declarative Languages – Antony Francis Bowers - 1998
16 A Framework for Analysis of Typed Logic Programs – Vitaly Lagoon, Peter J. Stuckey - 2001
EL PRESIDENTE LOS VOCALES – Análisis Y Verificación De, Programas Modulares, Jesús Correas Fernández, Licenciado En Informática, Facultad De Informática, Candidato Jesús Correas, Licenciado En Informática, Germán Puebla, Licenciado En Informática, El Secretario, A Beatriz Agradecimientos
Detecting and Exploiting Determinism in Logic Programs – Pat Hill, Andy King
28 Practical Model-Based Static Analysis for Definite Logic Programs – John Gallagher, Dmitri Boulanger, Hüseyin Saglam - 1995
11 Approximating Constraint Logic Programs Using . . . – Hüseyin Saglam, John P. Gallagher - 1995
16 Type Constraint Solving for Parametric and Ad-hoc Polymorphism – Bart Demoen, Maria Garcia de la Banda, Peter Stuckey - 1999
8 Binding-Time Analysis for Mercury – Wim Vanhoof, Maurice Bruynooghe - 1999