Abstract multiple specialization and its application to program parallelization

Journal of Logic Programming

Volumn 41, Issue 2-3, 1999, Pages 279-316

  Puebla, German ^a   Hermenegildo, Manuel ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL LOGIC; PROGRAM COMPILERS; PROGRAM INTERPRETERS;

ABSTRACT INTERPRETATION; LOOP INVARIANT DETECTION; PARALLELIZATION; PARTIAL EVALUATION; PROGRAM SPECIALIZATION; STATIC ANALYSIS;

LOGIC PROGRAMMING;

EID: 0033224192     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(99)00031-X     Document Type: Article

References (61)

1. A. Aho, J.D. Ullman, Principles of Compiler Design, Addison-Wesley, Reading, MA, 1977.
2. M. Bruynooghe, A framework for the abstract interpretation of logic programs, Technical Report CW62, Department of Computer Science, Katholieke Universiteit Leuven, October 1987.
3. M. Bruynooghe, A practical framework for the abstract interpretation of logic programs, Journal of Logic Programming 10 (1991) 91-124.
4. M. Bruynooghe, G. Janssens, An instance of abstract interpretation integrating type and mode inference, in: Proceedings of the Fifth International Conference and Symposium on Logic Programming, August 1988, MIT Press, Seattle, Washington, pp. 669-683.
5. F. Bueno, D. Cabeza, M. Hermenegildo, G. Puebla, Global Analysis of Standard Prolog Programs, in: European Symposium on Programming, number 1058 in LNCS, April, Sweden, Springer, Berlin, pp. 108-124.
6. F. Bueno, M. García de la Banda, M. Hermenegildo, A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs, in: Proceedings of the First International Symposium on Parallel Symbolic Computation, World Scientific, Singapore, September 1994, pp. 63-73.
7. F. Bueno, M. García de la Banda, M. Hermenegildo, Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization, in: International Symposium on Logic Programming, MIT Press, November 1994, pp. 320-336.
8. F. Bueno, M. García de la Banda, D. Cabeza, M. Hermenegildo, The &-Prolog Compiler System -Automatic Parallelization Tools for LP, Technical Report CLIP5/93.0, Computer Science Department, Technical U. of Madrid (UPM), 1993.
9. M.A. Bulyonkov, Polivariant mixed computation for analyzer programs, Acta Informatica 21 (1984) 473-484.
10. B. LeCharlier, P. Van Hentenryck, Experimental evaluation of a generic abstract interpretation algorithm for prolog, ACM Transactions on Programming Languages and Systems 16 (1) (1994) 35-101.
11. J. Chassin, P. Codognet, Parallel logic programming systems, Computing Surveys 26 (3) (1994) 295-336.
12. M. Codish, D. Dams, E. Yardeni, Derivation and safety of an abstract unification algorithm for groundness and aliasing analysis, in: Proceedings of the Eighth International Conference on Logic Programming, Paris, France, June 1991, MIT Press, Cambridge, MA, pp. 79-96.
13. J.S. Conery. The and/or process model for parallel interpretation of logic programs, Ph.D. thesis, The University of California At Irvine, 1983, Technical Report 204.
14. C. Consel, O. Danvy, ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL'93, Tutorial notes on partial evaluation, Charleston, South Carolina, 1993, pp. 493-501.
15. P. Cousot, R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Proceedings of the Fourth ACM Symposium on Principles of Programming Languages, 1977, pp. 238-252.
16. O. Danvy, R. Glück, in: P. Thiemann (Eds.), Partial Evaluation, Number 1110 in LNCS, Springer, February 1996, Dagstuhl Seminar.
17. S. Debray (Ed.), Journal of Logic Programming, Special Issue: Abstract Interpretation, vol. 13 (1-2), North-Holland, Amsterdam, 1992.
18. S.K. Debray, Static inference of modes and data dependencies in logic programs, ACM Transactions on Programming Languages and Systems 11 (3) (1989) 418-450.
19. M. Fernández, M. Carro, M. Hermenegildo, IDRA (IDeal Resource Allocation), Computing Ideal Speedups in Parallel Logic Programming, In Proceedings of EuroPar'96, number 1124 in LNCS, Springer, Berlin, 1996, pp. 724-734.
20. J. Gallagher, M. Bruynooghe, The derivation of an algorithm for program specialization, in: 1990 International Conference on Logic Programming, MIT Press, Cambridge, MA, 1990, pp. 732-746.
21. J. Gallagher, M. Codish, E. Shapiro, Specialisation of prolog and FCP programs using abstract interpretation, New Generation Computing 6 (2) (1998) 159-186.
22. F. Giannotti, M. Hermenegildo, A technique for recursive invariance detection and selective program specialization, in: Proceedings of the Third International Symposium on Programming Language Implementation and Logic Programming, number 528 in LNCS, Springer, Berlin, 1991, pp. 323-335.
23. R. Glueck, M.H. Sørensen, Partial deduction and driving are equivalent, in: International Symposium on Programming Language Implementation and Logic Programming, PLILP'94, volume 844 of LNCS, Springer, Madrid, Spain, 1994, pp. 165-182.
24. M. Hermenegildo, K. Greene, The &-Prolog System: exploiting independent and-parallelism, New Generation Computing 9 (3-4) (1991) 233-257.
25. M. Hermenegildo, G. Puebla, K. Marriott, P. Stuckey, Incremental analysis of logic programs, in: International Conference on Logic Programming, MIT Press, Cambridge, MA, 1995, pp. 797-811.
26. M. Hermenegildo, F. Rossi, Strict and non-strict independent and-parallelism in logic programs correctness efficiency and compile-time conditions, Journal of Logic Programming 22 (1) (1995) 1-45.
27. M. Hermenegildo, R. Warren, S.K. Debray, Global flow analysis as a practical compilation tool, Journal of Logic Programming 13 (4) (1992) 349-367.
28. D. Jacobs, A. Langen, Static analysis of logic programs for independent and-parallelism, Journal of Logic Programming 13 (2-3) (1992) 291-314.
29. D. Jacobs, A. Langen, W. Winsborough, Multiple specialization of logic programs with run-time tests, in: 1990 International Conference on Logic Programming, MIT Press, Cambridge, MA, 1990, pp. 718-731.
30. G. Janssens, M. Bruynooghe, Deriving descriptions of possible values of program variables by means of abstract interpretation, Journal of Logic Programming 13 (2-3) (1992) 205-258.
31. N. Jones, H. Sondergaard, A semantics-based framework for the abstract interpretation of prolog, in: Abstract Interpretation of Declarative Languages, chapter 6, Ellis Horwood, Chichester, UK, 1987, pp. 124-142.
32. N.D. Jones, A. Mycroft, Dataflow analysis of applicative programs using minimal function graphs, in: Thirteenth Ann. ACM Symposium principles of programming Languages, St. Petersburg, Florida, ACM, 1986, pp. 296-306.
33. N.D. Jones, C.K. Gomard, P. Sestoft, Partial Evaluation and Automatic Program Generation, Prenctice-Hall, New York, 1993.
34. A. Kelly, A. Macdonald, K. Marriott, H. Sondergaard, P. Stuckey, R. Yap, An optimizing compiler for CLP (R), in: Proceedings of the Conference on Constraint Programming CP'95, LNCS, Springer, Berlin, 1995.
35. A. Kelly, A. Macdonald, K. Marriott, P. Stuckey, R. Yap, Effectiveness of optimizing compilation for CLP(R), in: Proceedings of Joint International Conference and Symposium on Logic Programming, MIT Press, Cambridge, MA, 1996, pp. 37-51.
36. J. Komorovski, An introduction to partial deduction, in: A. Pettorossi (Ed.), Meta Programming in Logic, Proceedings of META'92, volume 649 of LNCS, Springer, Berlin, 1992, pp. 49-69.
37. T. Lindgren, Polyvariant detection of uninitialized arguments of Prolog predicates, Journal of Logic Programming 28 (3) (1996) 217-229.
38. J.W. Lloyd, J.C. Shepherdson, Partial evaluation in logic programming, Journal of Logic Programming 11 (3-4) (1991) 217-242.
39. A. Marien, G. Janssens, A. Mulkers, M. Bruynooghe, The impact of abstract interpretation: an experiment in code generation, in: Proceedings of the Sixth International Conference on Logic Programming, MIT Press, Cambridge, MA, 1989, pp. 33-47.
40. K. Marriott, H. Sondergaard, Abstract interpretation, 1989, 1989 SLP Tutorial Notes.
41. K. Marriott, H. Søndergaard, N.D. Jones, Denotational abstract interpretation of logic programs, ACM Transactions on Programming Languages and Systems 16 (3) (1994) 607-648.
42. C.S. Mellish, Abstract interpretation of prolog programs, in: Proceedings of the Third International Conference on Logic Programming, number 225 in LNCS, Springer, Berlin, 1986, pp. 463-475.
43. A. Mulkers, W. Winsborough, M. Bruynooghe, Analysis of shared data structures for compile-time garbage collection in logic programs, in: Proceedings of the Seventh International Conference on Logic Programming, Jerusalem, Israel, MIT Press, Cambridge, MA, 1990, pp. 747-762.
44. K. Muthukumar, M. Hermenegildo, Complete and efficient methods for supporting side effects in independent/restricted and-parallelism, in: 1989 International Conference on Logic Programming, pages, MIT Press, June 1989, pp. 80-101.
45. K. Muthukumar, M. Hermenegildo, Deriving a fixpoint computation algorithm for top-down abstract interpretation of logic programs, Technical Report ACT-DC-153-90, Microelectronics and Computer Technology Corporation, MCC, Austin, TX 78759, 1990.
46. K. Muthukumar, M. Hermenegildo, The CDG, UDG and MEL methods for automatic compile-time parallelization of logic programs for independent and-parallelism, in: International Conference on Logic Programming, MIT Press, Cambridge, MA, 1990, pp. 221-237.
47. K. Muthukumar, M. Hermenegildo, Combined determination of sharing and freeness of program variables through abstract interpretation, in: 1991 International Conference on Logic Programming, MIT Press, Cambridge, MA, 1991, pp. 49-63.
48. K. Muthukumar, M. Hermenegildo, Compile-time derivation of variable dependency using abstract interpretation, The Journal of Logic Programming 13 (2/3) (1992) 315-347.
49. G. Puebla, J. Gallagher, M. Hermenegildo, Towards integrating partial evaluation in a specialization framework based on generic abstract interpretation, in: M. Leuschel (Ed.), Proceedings of the ILPS'97 Workshop on Specialization of Declarative Programs, 1997, Post ILPS'97 Workshop.
50. G. Puebla, M. García de la Banda, K. Marriott, P. Stuckey, Optimization of logic programs with dynamic scheduling, in: 1997 International Conference on Logic Programming, MIT Press, Cambridge, MA, 1997, pp. 93-107.
51. G. Puebla, M. Hermenegildo, Implementation of multiple specialization in logic programs, in: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, ACM Press, New York, 1995, pp. 77-87.
52. G. Puebla, M. Hermenegildo, Optimized algorithms for the incremental analysis of logic programs, in: International Static Analysis Symposium, number 1145 in LNCS, Springer, Berlin, 1996, pp. 270-284.
53. G. Puebla, M. Hermenegildo, Abstract specialization and its application to program parallelization, in: J. Gallagher (Ed.), VI International Workshop on Logic Program Synthesis and Transformation, number 1207 in LNCS, Springer, Berlin, 1997, pp. 169-186.
54. G. Puebla, M. Hermenegildo, J. Gallagher, An integration of partial evaluation in a generic abstract interpretation framework, in: O. Danvy (Ed.), ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99), BRISC, University of Aarhus, Denmark, 1999.
55. V. Santos-Costa, D.H.D. Warren, R. Yang, The andorra-i preprocessor: supporting full prolog on the basic andorra model, in: 1991 International Conference on Logic Programming, MIT Press, Cambridge, MA, 1991, pp. 443-456.
56. H. Sondergaard, An application of abstract interpretation of logic programs: occur check reduction, in: European Symposium on Programming, LNCS 123, Springer, Berlin, 1986, pp. 327-338.
57. P. Van Hentenryck, O. Degimbe, B. Le Charlier, L. Michael, The impact of granularity in abstract interpretation of prolog, in: Workshop on Static Analysis, number 724 in LNCS, Springer, Berlin, 1993, pp. 1-14.
58. P. Van Roy, A.M. Despain, The benefits of global dataflow analysis for an optimizing prolog compiler, in: North American Conference on Logic Programming, MIT Press, Cambridge, 1990, pp. 501-515.
59. P. Van Roy, A.M. Despain, High-performace logic programming with the aquarius prolog compiler, IEEE Computer Magazine (1992) 54-68.
60. R. Warren, M. Hermenegildo, S.K. Debray, On the practicality of global flow analysis of logic programs, in: Proceedings of the Fifth International Conference and Symposium on Logic Programming, MIT Press, Cambridge, MA, 1988, pp. 684-699.
61. W. Winsborough, Multiple specialization using minimal-function graph semantics, Journal of Logic Programming 13 (2-3) (1992) 259-290.