Authors: CORTESI A FILE G WINSBOROUGH W

Citation: A. Cortesi et al., THE QUOTIENT OF AN ABSTRACT INTERPRETATION, Theoretical computer science, 202(1-2), 1998, pp. 163-192

Authors: CODISH M FALASCHI M MARRIOTT K WINSBOROUGH W

Citation: M. Codish et al., A CONFLUENT SEMANTIC BASIS FOR THE ANALYSIS OF CONCURRENT CONSTRAINT LOGIC PROGRAMS, The journal of logic programming, 30(1), 1997, pp. 53-81

Authors: CORTESI A FILE G WINSBOROUGH W

Citation: A. Cortesi et al., OPTIMAL GROUNDNESS ANALYSIS USING PROPOSITIONAL LOGIC, The journal of logic programming, 27(2), 1996, pp. 137-167

Authors: MULKERS A WINSBOROUGH W BRUYNOOGHE M

Citation: A. Mulkers et al., LIVE-STRUCTURE DATA-FLOW ANALYSIS FOR PROLOG, ACM transactions on programming languages and systems, 16(2), 1994, pp. 205-258