A practical framework for theabstract interpretation of logic programs
From MaRDI portal
Publication:5748872
DOI10.1016/0743-1066(91)80001-TzbMath0717.68010MaRDI QIDQ5748872
Publication date: 1991
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items
Unnamed Item, Improving precision of type analysis using non-discriminative union, A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs, Constructive negation and constraint logic programming with sets, Abstract interpretation: a kind of magic, Abstraction-carrying code: a model for mobile code safety, S-semantics for logic programming: a retrospective look, Partial evaluation with inference rules, Bottom-up abstract interpretation of logic programs, Precise goal-independent abstract interpretation of constraint logic programs., A theory of observables for logic programs, An overview of Ciao and its design philosophy, Certificate size reduction in abstraction-carrying code, Optimality in goal-dependent analysis of Sharing