Filter
Chapter

Search results

  • 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 proceedingChapterpeer-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 proceedingChapterpeer-review