Publications of Michael Codish

period 2002 - 2007

Articles in internationally reviewed journals

1 reference

• Bruynooghe, Maurice; Codish, Michael; Gallagher, John P.; Genaim, Samir; Vanhoof, Wim. Termination analysis of logic programs through combination of type-based norms, ACM Transactions on Programming Languages and Systems, volume 29, issue 2, pages 1-44, 2007

  @article{124239,
    author = "Bruynooghe, Maurice and Codish, Michael and Gallagher, John P. and Genaim, Samir and Vanhoof, Wim",
    title = "Termination analysis of logic programs through combination of type-based norms",
    journal = "ACM Transactions on Programming Languages and Systems",
    volume = "29",
    number = "2",
    pages = "1--44",
    month = Apr,
    year = "2007",
    doi = "10.1145/1216374.1216378",
    url = "https://lirias.kuleuven.be/handle/123456789/124239",
  }
  

Papers at international conferences and symposia, published in full in proceedings

1 reference

• Bruynooghe, Maurice; Codish, Michael; Genaim, Samir; Vanhoof, Wim. Reuse of results in termination analysis of typed logic programs, The 9th International Static Analysis Symposium, Madrid, Spain, September 17-20, 2002, Lecture Notes in Computer Science, volume 2477, pages 477-492, Springer

  @inproceedings{125009,
    author = "Bruynooghe, Maurice and Codish, Michael and Genaim, Samir and Vanhoof, Wim",
    title = "Reuse of results in termination analysis of typed logic programs",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "477--492",
    year = "2002",
    doi = "10.1007/3-540-45789-5\_{}33",
    url = "https://lirias.kuleuven.be/handle/123456789/125009",
  }
  

Meeting abstracts, presented at international conferences and symposia

1 reference

• Codish, Michael; Genaim, Samir; Bruynooghe, Maurice; Gallagher, John P.; Vanhoof, Wim. One Loop at a Time, 6th International Workshop on Termination, Valencia, Spain, June 13-14, 2003

  @unpublished{133498,
    author = "Codish, Michael and Genaim, Samir and Bruynooghe, Maurice and Gallagher, John P. and Vanhoof, Wim",
    title = "One {L}oop at a {T}ime",
    note = "6th International Workshop on Termination, Valencia, Spain, June 13-14, 2003",
    year = "2003",
    url = "https://lirias.kuleuven.be/handle/123456789/133498",
  }
  

Internal reports

1 reference

• Bruynooghe, Maurice; Codish, Michael; Genaim, Samir; Vanhoof, Wim. A note on the reuse of the results of a termination analysis based on polymorphic types, CW Reports, volume CW383, 10 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2003

  @techreport{131939,
    author = "Bruynooghe, Maurice and Codish, Michael and Genaim, Samir and Vanhoof, Wim",
    title = "A note on the reuse of the results of a termination analysis based on polymorphic types",
    institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
    type = "CW Reports",
    number = "CW383",
    month = Sep,
    year = "2003",
    url = "https://lirias.kuleuven.be/handle/123456789/131939",
  }
  

No publications found for the period 2002-2007 and the types

• Articles in other journals
• Books, internationally recognised scientific publisher; as author
• Other published books; as author
• Books, internationally recognised scientific publisher; as editor
• Other published books; as editor
• Article in book, internationally recognised scientific publisher
• Article in other published book
• Papers at other conferences and symposia, published in full in proceedings
• Meeting abstracts, presented at other conferences and symposia
• Thesis
• Review
• Translation without scientific introduction
• Scientific popularisation
• Misc.
• External reports

 
Last update local database Sun May 19 2013 0:18 am; It contains 42 publications of Michael Codish.