MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Michael Codish – sorted by Relevance.

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

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

51 documents found, showing 1 through 10. Next 10 →

ATOM

Efficient Goal Directed Bottom-up Evaluation of Logic Programs
by Michael Codish — 1998 — Journal of Logic Programming
…Efficient Goal Directed Bottom-up Evaluation of Logic Programs Michael Codish Department…
Cited by 17 (7 self) – Add To MetaCart

Worst-Case Groundness Analysis using Positive Boolean Functions
by Michael Codish — 1999 — Journal of Logic Programming
…Worst-Case Groundness Analysis using Positive Boolean Functions Michael Codish Department…
Cited by 9 (3 self) – Add To MetaCart

References
by Michael Codish, E. Annov, M. Codish, J. Giesl, P. Schneider-kamp — 2007
…Partial Order Constraints for Graph Algorithms Michael Codish: Project Proposal January 1, 2007…
Add To MetaCart

Meta-Circular Abstract Interpretation in Prolog
by Michael Codish, Harald Søndergaard
… Meta-Circular Abstract Interpretation in Prolog Michael Codish\Lambda Harald So…
Cited by 3 (0 self) – Add To MetaCart

The Def-inite Approach to Dependency Analysis
by Samir Genaim, Michael Codish — 2001 — IN EUROPEAN SYMPOSIUM ON PROGRAMMING
…The Def-inite Approach to Dependency Analysis Samir Genaim and Michael Codish The Department…
Cited by 2 (1 self) – Add To MetaCart

Incremental Refinement of Semantic Based Program Analysis for Logic Programs
by Samir Genaim, Michael Codish — 1998 — In ACSC'99, volume 1587 of LNCS
… and Michael Codish 1;2 1 Department of Mathematics and Computer Science, Ben-Gurion University of the Negev…
Cited by 5 (2 self) – Add To MetaCart

Proving Implications by Algebraic Approximation
by Michael Codish, Grigory Mashevitzky — 1994 — In Proc' 4th Intn` Conf` on Algebraic and Logic Programming
…Proving Implications by Algebraic Approximation Michael Codish Grigory Mashevitzky Department…
Cited by 1 (1 self) – Add To MetaCart

Analyzing Logic Programs Using "Prop"-Ositional Logic Programs and a Magic Wand
by Michael Codish, Bart Demoen — 1997 — The Journal of Logic Programming
…Analyzing Logic Programs using "Prop"-ositional Logic Programs and a Magic Wand Michael Codish…
Cited by 2 (0 self) – Add To MetaCart

Inferring Termination Conditions for Logic Programs Using Backwards Analysis
by Samir Genaim, Michael Codish — 2003 — Proceedings of the Eighth International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 2250 of Lecture Notes in Artificial Intelligence
… and Michael Codish The Department of Computer Science Ben-Gurion University of the Negev Beer-Sheva, Israel…
Cited by 16 (1 self) – Add To MetaCart

Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop
by Michael Codish, Bart Demoen — 1994
… Michael Codish 1 Bart Demoen 2 1 Dept. of Math. and Comp. Sci., Ben-Gurion University, Israel. 2…
Cited by 32 (9 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB