Determinacy Analysis for Logic Programs Using Mode and Type Information-Reference-Cited by-同舟云学术

Determinacy Analysis for Logic Programs Using Mode and Type Information

Published:2005 Issue: Volume: Page:19-35
ISSN:0302-9743
Container-title:Logic Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

López-García P.,Bueno F.,Hermenegildo M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11506676_2.pdf

Reference25 articles.

1. Aspvall, B., Shiloach, Y.: A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality. In: Proc. 20th ACM Symposium on Foundations of Computer Science, October 1979, pp. 205–217 (1979)

2. Braem, C., Le Charlier, B., Modart, S., Van Hentenryck, P.: Cardinality analysis of prolog. In: Proc. International Symposium on Logic Programming, Ithaca, NY, pp. 457–471. MIT Press, Cambridge (1994)

3. Dart, P.W., Zobel, J.: A Regular Type Language for Logic Programs. In: Types in Logic Programming, pp. 157–187. MIT Press, Cambridge (1992)

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

5. Debray, S.K., Lin, N.W.: Cost analysis of logic programs. ACM Transactions on Programming Languages and Systems 15(5), 826–875 (1993)

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

1. Testing Your (Static Analysis) Truths;Logic-Based Program Synthesis and Transformation;2021

2. Counting Successes: Effects and Transformations for Non-deterministic Programs;A List of Successes That Can Change the World;2016

3. Parallel backtracking with answer memoing for independent and-parallelism;Theory and Practice of Logic Programming;2011-07

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

5. Non-discriminating Arguments and Their Uses;Logic Programming;2009