Abstract interpretation based on oldt resolution-Reference-Cited by-同舟云学术

Abstract interpretation based on oldt resolution

Published:1993-01 Issue:1-2 Volume:15 Page:1-30
ISSN:0743-1066
Container-title:The Journal of Logic Programming
language:en
Short-container-title:The Journal of Logic Programming

Author:

Kanamori Tadashi,Kawamura Tadashi

Publisher

Elsevier BV

Subject

Logic

Reference22 articles.

1. Abstract Interpretation: Towards the Global Optimization of Prolog Programs;Bruynooghe;Proceedings of the 1987 Symposium on Logic Programming,1987

2. An Instance of Abstract Interpretation Integrating Type and Mode Inferencing;Bruynooghe;Proceedings of the Fifth International Conference and Symposium on Logic Programming,1988

3. A Practical Framework for the Abstract Interpretation of Logic programs;Bruynooghe;J. of Logic Programming,1991

4. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints;Cousot;Conference Record of the 4th ACM Symposium on Principles of Programming Languages,1977

5. Static Determination of Dynamic Properties of Recursive Procedures;Cousot,1978

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

1. Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP;Theory and Practice of Logic Programming;2019-09

2. Description and evaluation of a generic design to integrate CLP and tabled execution;Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming;2016-09-05

3. A Polymorphic Type Dependency Analysis for Logic Programs;New Generation Computing;2011-10

4. Tabling with Answer Subsumption: Implementation, Applications and Performance;Logics in Artificial Intelligence;2010

5. Branch-and-Bound Methods for Euclidean Registration Problems;IEEE Transactions on Pattern Analysis and Machine Intelligence;2009-05