Meta-circular Abstract Interpretation in Prolog-Reference-Cited by-同舟云学术

Meta-circular Abstract Interpretation in Prolog

Published:2002 Issue: Volume: Page:109-134
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Codish Michael,Søndergaard Harald

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36377-7_6

Reference61 articles.

1. S. Abramsky and C. Hankin. Abstract Interpretation of Declarative Languages. Ellis Horwood, 1987.

2. F. Baader and J. Siekmann. Unification theory. In D. Gabbay, C. Hogger, and J. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 2, pages 41–126. Oxford University Press, 1994.

3. R. Bagnara. China: A data-flow analyzer for CLP languages. Survey at URL http://www.cs.unipr.it/China/ , 19 February 2001.

4. F. Bancilhon, D. Maier, Y. Sagiv, and J. Ullman. Magic sets and other strange ways to implement logic programs. In Proc. Fifth ACM SIGMOD/SIGACT Symp. Principles of Database Systems, pages 1–15. ACMPress, 1986.

5. R. Barbuti, R. Giacobazzi, and G. Levi. A general framework for semantics-based abstract interpretation. ACM Transactions on Programming Languages, 15(1):133–181, 1993.

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

1. Transformation-Enabled Precondition Inference;Theory and Practice of Logic Programming;2021-09-23

2. Lightweight Functional Logic Meta-Programming;Programming Languages and Systems;2019

3. Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata;Computer Aided Verification;2016

4. Truth versus information in logic programming;Theory and Practice of Logic Programming;2013-06-03

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