Michael Codish

Research activity per year

If you made any changes in Pure these will be visible here soon.

Filter

2002
Meta-circular abstract interpretation in prolog
Codish, M. & Søndergaard, H., 1 Jan 2002, The Essence of Computation: Complexity, Analysis, Transformation. Springer Verlag, p. 109-134 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2566 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
11 Scopus citations
1995
Abstracting Unification: A Key Step in the Design of Logic Program Analyses
Bruynooghe, M., Codish, M. & Mulkers, A., 1995, Computer Science Today: Recent Trends and Developments. Leeuwen, J. V. (ed.). Springer, Vol. 1000. p. 406-425 20 p. (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Research output