Polyvariant detection of uninitialized arguments of prolog predicates

Journal of Logic Programming

Volumn 28, Issue 3, 1996, Pages 217-229

  Lindgren, Thomas ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; DATA STORAGE EQUIPMENT; PROGRAM COMPILERS;

PROGRAM TRANSFORMATION; PROLOG PREDICATES; UNINITIALIZED ARGUMENTS;

PROLOG (PROGRAMMING LANGUAGE);

EID: 0030242676     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/0743-1066(96)00050-7     Document Type: Article

References (13)

1. Beer, J., The Occur-Check Problem Revisited, J. Logic Programming 5:243-261 (1988).
2. Bigot, P., Gudeman, D., and Debray, S. K., Output Value Placement in Moded Logic Programs, in: Proc. ICLP'94.
3. De Bosschere, K., Debray, S. K., Gudeman, D., and Kannan, S., Call Forwarding: A Simple Interprocedural Optimization Technique for Dynamically Typed Languages, in: Proc. POPL'94.
4. Cousot, P., and Cousot, R., Abstract Interpretation and Application to Logic Programs, J. Logic Programming 13:103-179 (1992).
5. Getzinger, T., Abstract Interpretation for the Compile-Time Analysis of Logic Programs, Ph.D. Thesis, Technical Report ACAL-TR-93-09, University of Southern California, Sept. 1993.
6. Getzinger, T., The Costs and Benefits of Abstract Interpretation-Driven Prolog Optimization, in: Proc. SAS'94.
7. Puebla, G., and Hermenegildo, M., Implementation of Multiple Specialization in Logic Programs, in: Proc. PEPM'95.
8. Sahlin, D., The Mixtus Approach to Automatic Partial Evaluation of Full Prolog, in: Proc. NACLP'90.
9. Somogyi, Z., Henderson, F., and Conway, T., The Execution Algorithm of Mercury: An Efficient Purely Declarative Logic Programming Language, revised version of paper appearing in ILPS'94 Post-Conf. Workshop on Implementation Techniques for Logic Programming Languages.
10. Taylor, A., High Performance Prolog Implementation, Ph.D. Thesis, Basser Dept. of Computer Science, University of Sydney, Australia, June 1991.
11. Van Roy, P., Can Logic Programming Execute as Fast as Imperative Programming, Ph.D. Thesis, University of California at Berkeley, 1990.
12. Van Roy, P., and Despain, A., The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler, in: Proc. NACLP'90.
13. Warren, D. H. D., An Abstract Prolog Instruction Set, Report 309, SRI International, Menlo Park, CA, 1983.