MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Bottom-up Abstract Interpretation of Logic Programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

ATOM

Bottom-up abstract interpretation of logic programs
by Michael Codish, Dennis Dams, Eyal Yardeni — 1994 — Theoretical Computer Science
… Bottom-up Abstract Interpretation of Logic Programs \Lambda Michael Codish Dennis Dams Eyal…
Cited by 55 (16 self) – Add To MetaCart

A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs
by Roberto Barbuti, Roberto Giacobazzi, Giorgio Levi — 1993 — ACM Transactions on Programming Languages and Systems
…A General Framework for Semantics-based Bottom-up Abstract Interpretation of Logic Programs…
Cited by 69 (26 self) – Add To MetaCart

Improving Execution Models of Logic Programs by Two-phase Abstract Interpretation
by Byeong-Mo Chang — 1995
…] on bottom-up evaluation. Recently, bottom-up abstract interpretation of logic programs has gained much…
Add To MetaCart

Can Logic Programming Execute as Fast as Imperative Programming? [References]
by Peter Lodewijk Van Roy, E. Tick, D. H. D. Warren, Towards Pipelined, Prolog Processor, Symposium On Logic — 1990
…, pp. 33-47. 47. K. Marriott and H. Sondergaard, Bottom-Up Abstract Interpretation of Logic Programs, 5…
Cited by 95 (4 self) – Add To MetaCart

Publications in Program Development
by June Journal, R. Barbuti, M. Codish, R. Giacobazzi, G. Levi, Modelling The, Journal Logic, P. Van Hentenryck, K. Marriott, H. Sondergaard Difference-list
… for semantics-based bottom-up abstract interpretation of logic programs. ACM Transactions on Programming…
Add To MetaCart

A Bottom-Up Analysis Toolkit
by J. P. Gallagher — 1995
… Abstract Interpretation of Logic Programs Bottom-up semantics defines the meaning of a logic program…
Cited by 7 (3 self) – Add To MetaCart

Static Analysis of Logic Programs Using CLP as a Meta-language
by Huseyin Saglam, John Gallagher, H. Saglam, J. P. Gallagher — 1996
…, there is the question of infinite pre-interpretations and infinite program meanings. 1.2 Bottom-Up Abstract…
Cited by 4 (1 self) – Add To MetaCart

Fast and Precise Regular Approximation of Logic Programs
by J. P. Gallagher, D. A. Waal — 1993 — Proceedings of the Eleventh International Conference on Logic Programming
… for a range of programs. Our method of approximation is based on the framework of bottom-up abstract…
Cited by 95 (21 self) – Add To MetaCart

A Symbolic Constraint Solving Framework for Analysis of Logic Programs
by Ramakrishnan Ramakrishnan Dept, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar — 1995 — In Partial Evaluation and Semantics-Based Program Manipulation
… of two well known implementations, namely, Toupie [5], that performs bottom-up abstract interpretation…
Add To MetaCart

Showing 1 through 9.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB