To the Gates of HAL: a HAL tutorial

by Maria Garcia de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
Citations:14 - 8 self

Documents Related by Co-Citation

19 A Model for Inter-module Analysis and Optimizing Compilation – Francisco Bueno, María García de la Banda, Manuel Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey - 2000
191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
18 Some issues in analysis and specialization of modular Ciao-Prolog programs – G. Puebla, M. Hermenegildo - 2000
37 Global Analysis of Standard Prolog Programs – F. Bueno, D. Cabeza, M. Hermenegildo, G. Puebla - 1996
50 An Assertion Language for Constraint Logic Programs – G Puebla, F Bueno, M Hermenegildo - 1870
31 Program Development Using Abstract Interpretation (and The Ciao System Preprocessor – Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-garcía - 2003
84 Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation – K Muthukumar, M Hermenegildo - 1990
118 Compile-time Derivation of Variable Dependency Using Abstract Interpretation – K. Muthukumar, M. Hermenegildo - 1992
81 Global Analysis of Constraint Logic Programs – Maria Garcia de la Banda, M. Hermenegildo, Maurice Bruynooghe, V. Dumortier, Gerda Janssens, W. Simoens - 1996
33 Optimized Algorithms for Incremental Analysis of Logic Programs – Germán Puebla, Manuel Hermenegildo - 1996
55 Compositional Analysis of Modular Logic Programs – Michael Codish, Saumya Debray, Roberto Giacobazzi - 1993
102 Experimental Evaluation of a Generic Abstract Interpretation Algorithm for Prolog – Baudouin Le Charlier, Pascal Van Hentenryck - 1994
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
195 A practical framework for the abstract interpretation of logic programs – Bruynooghe - 1991
3 The Analysis System of HAL – Nicholas Nethercote - 2002
15 Modular class analysis with Datalog – Frédéric Besson, Thomas Jensen - 2003
226 Functional Data Structures – Chris Okasaki - 1996
29 A New Module System for Prolog – D Cabeza, M Hermenegildo - 2000
7 A Generic Framework for Context-Sensitive Analysis of Modular Programs – German Puebla, Jesus Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria Garcia de la Banda, María García De La B, Kim Marriott, Peter J. Stuckey - 2004