Publications

2 results for Michael Codish

Oracle semantics for prolog
- - Roberto Barbuti
  - Michael Codish
  - et al.
- 1995
- Information and Computation
Suspension Analyses for Concurrent Logic Programs
- - Michael Codish
  - Moreno Falaschi
  - et al.
- 1994
- ACM Transactions on Programming Languages and Systems (TOPLAS)