A module based analysis for memory reuse in Mercury

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1861, Issue , 2000, Pages 1255-1269

  Mazur, Nancy ^a   Janssens, Gerda ^a   Bruynooghe, Maurice ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

MEMORY CELL; MODULE-BASED; SEPARATE COMPILATION;

LOGIC PROGRAMMING;

MERCURY (METAL);

EID: 23044519723     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44957-4_84     Document Type: Conference Paper

References (21)

1. Yves Bekker s and Paul Tarau. Monadic constructs for logic programming. In John Lloyd, editor, Proceedings of the International Symposium on Logic Programming, pages 51-65, Cambridge, December 4-7 1995. MIT Press.
2. Maurice Bruynooghe. A practical framework for the abstract interpretation of logic programs. Journal of Logic Programming, 10(2):91-124, February 1991.
3. Maurice Bruynooghe, Gerda Janss ens, and Andreas K-Agedal. Live-structure analy-sis for logic programming languages with declarations. In L. Naish, editor, Proceed-ings of the Fourteenth International Conference on Logic Programming (ICLP'97), pages 33-47, Leu ven, Belgium, 1997. MIT Press.
4. M. Codish, M. Bruynooghe, M. Garca de la Banda, and M. Hermenegildo. Ex-ploiting goal independence in the analysis of logic programs. Journal of Logic Programming, 32(3):247-261, September 1997.
5. Saumya K Debray. On copy avoidance in single assignment languages In Da vid S. Warren, editor, Proceedings of the Tenth International Conference on Logic Pro-gramming 393-407, Budapest, Hungary 1993. The MIT Press.
6. B. Demoen, M. Garca de la Banda, W. Harvey, K. Marriott, and P. Stuckey. An overview of HAL. In Proceedings of the International Conference on Principles and Practice of Constraint Programming, pages 174-188, Virginia, USA, October 1999. Springer Verlag.
7. G. Gudjonsson and W. Winsborough. Update in place: Overview of the Siva project. In D. Miller, editor, Proceedings of the International Logic Programming Symposium, pages 94-113, Vancouver, Canada, 1993. The M IT Press.
8. Fergus Henderson, Thomas Conway, Somogyi Zoltan, and Je-ery David. The mercury language reference manual. Technical Report 96/10, Dept. of Computer Science, University of Melbourne, February 1996.
9. M. V. Hermenegildo, F. Bueno, G. Puebla, and P. Lopez. Program analysis, de-bugging, and optimisation using the Ciao preprocessor. In D. De Schreye, editor, Logic programming, Proc. of the 1999 Int. Conf. on Logic Programming, pages 52-66, Las Cruces, NM, December 1999. MIT-Press.
10. S. B. Jones and D. Le M-etayer. Compile-time garbage collection by sharing anal-ysis. In Proceedings of the Confer ence on Functional Programming Languages and Computer Architecture '89, Imperial College, London, pages 54-74, New York, NY, 1989. ACM.
11. Andreas K-Agedal and Saumya Debray. A practical approach to structure reuse of arrays in single assignment languages. In Lee Naish, editor, Proceedings of the 14th International Conference on Logic Programming, pages 18-32, Cambridge, July 8-11 1997. MIT Press.
12. Feliks Klu-zniak. Compile-time garbage collection for ground Prolog. In Robert A. Kowalski and Kenneth A. Bowen, editors, Proceedings of the Fifth International Conference and Symposium on Logic Pro gramming, pages 1490-1505, Seattle, 1988. MIT Press, Cambridge.
13. N. Mazur, G. Janssens, and M. Bruynooghe. Towards memory reuse for Mercury. In Proc. Int. Workshop on Implementation of Declarative Languages (IDL'99), Paris, September 1999.
14. Anne Mulkers, Will Winsborough, and Maurice Bruynooghe. Live-structure dataflow analysis for Prolog. ACM Transactions on Programming Languages and Systems, 16(2):205-258, March 1994.
15. G. Puebla and H. Hermenegildo. Some issues in analysis and specialisation of modular programs. In M. Leuschel, editor, Optimisation and Implementation of Decla rative Programs, (WOID'99), a ICLP'99 workshop, 1999. 17 pages.
16. G. Puebla and M. Hermenegildo. Abstract multiple specialisation and its appli-cation to program specialisation. The Journal of Logic Programming, 41:279-316, November-December 1999.
17. Zoltan Somogyi, Fergus Henderson, and Thomas Conway. The execution algo-rithm of Mercury, an efficient purely declarative logic programming language. The Journal of Logic Programming, 29(1-3):17-64, October-December 1996.
18. Simon Taylor. Optimization of Mercury programs. Honours report, Department of Computer Science, University of Melbourne, November 1998.
19. Mads Tofte and Talpin Jean-Pierre. Region-based memory management. Infor-mation and Computation, 132(2):109-176, 1997.
20. K. Ueda. L inearity analysis of concurrent logic programs. In M. Leuschel, ed-itor, Optimisation and Implementation of Declarative Programs, (WOID'99), a ICLP'99 workshop, 1999. 14 pages.
21. Philip Wadler. The essenc e of functional programming. In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1-14, Albequerque, New Mexico, January 1992.