Detecting Determinacy in Prolog Programs-Reference-Cited by-同舟云学术

Detecting Determinacy in Prolog Programs

Published:2006 Issue: Volume: Page:132-147
ISSN:0302-9743
Container-title:Logic Programming
language:
Short-container-title:

Author:

King Andy,Lu Lunjin,Genaim Samir

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11799573_12.pdf

Reference20 articles.

1. Braem, C., Le Charlier, B., Modar, S., Van Hentenryck, P.: Cardinality Analysis of Prolog. In: Bruynooghe, M. (ed.) International Symposium on Logic Programming, pp. 457–471. MIT Press, Cambridge (1994)

2. Bruynooghe, M., Codish, M., Gallagher, J., Genaim, S., Vanhoof, W.: Termination Analysis through Combination of Type Based Norms. In: ACM Transactions on Programming Languages and Systems (to appear)

3. Dawson, S., Ramakrishnan, C.R., Ramakrishnan, I.V., Sekar, R.C.: Extracting Determinacy in Logic Programs. In: International Conference on Logic Programming, pp. 424–438. MIT Press, Cambridge (1993)

4. Lecture Notes in Computer Science;S. Genaim,2003

5. King, A., Lu, L.: A Backward Analysis for Constraint Logic Programs. Theory and Practice of Logic Programming 2(4–5), 517–547 (2002)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Incremental and Modular Context-sensitive Analysis;Theory and Practice of Logic Programming;2021-01-19

2. RedAlert: Determinacy inference for Prolog;Theory and Practice of Logic Programming;2011-07

3. Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses;New Generation Computing;2010-04