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