Suspension Analyses for Concurrent Logic Programs

Michael Codish, Moreno Falaschi, Kim Marriott. Suspension Analyses for Concurrent Logic Programs. ACM Transactions on Programming Languages and Systems, 16(3):649-686, 1994. [doi]

Abstract

Abstract is missing.