Author:
Peralta Julio C.,Gallagher John P.,Sağlam Hüseyin
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 1986.
2. P. Cousot and N. Halbwachs. Automatic discovery of linear restraints amog variables of a program. In Proceedings of the Conference Record of the 5th ACM Symposium on Principles of Programming Languages, pages 84–97, Albuquerque, New Mexico, 1978.
3. Lect Notes Comput Sci;P. Cousot,1997
4. J.P. Gallagher. Tutorial on specialisation of logic programs. In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 88–98, Copenhagen, Denmark, 1993. ACM Press.
5. J. Gallagher and M. Bruynooghe. Some low-level source transformations for logic programs. In Proceedings of Meta90 Workshop on Meta Programming in Logic. Katholieke Universiteit Leuven, Belgium, 1990.
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Parallel Logic Programming: A Sequel;Theory and Practice of Logic Programming;2022-03-28
2. Analysis and Transformation of Constrained Horn Clauses for Program Verification;Theory and Practice of Logic Programming;2021-11-15
3. VeriFly: On-the-fly Assertion Checking via Incrementality;Theory and Practice of Logic Programming;2021-11
4. Transformation-Enabled Precondition Inference;Theory and Practice of Logic Programming;2021-09-23
5. Regular Path Clauses and Their Application in Solving Loops;Electronic Proceedings in Theoretical Computer Science;2021-09-13