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: CORTESI A FILE G GIACOBAZZI R PALAMIDESSI C RANZATO F

Citation: A. Cortesi et al., COMPLEMENTATION IN ABSTRACT INTERPRETATION, ACM transactions on programming languages and systems, 19(1), 1997, pp. 7-47

Authors: CODISH M DAMS D FILE G BRUYNOOGHE M

Citation: M. Codish et al., ON THE DESIGN OF A CORRECT FREENESS ANALYSIS FOR LOGIC PROGRAMS, The journal of logic programming, 28(3), 1996, pp. 181-206

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: FILE G GIACOBAZZI R RANZATO F

Citation: G. File et al., A UNIFYING VIEW OF ABSTRACT DOMAIN DESIGN, ACM computing surveys, 28(2), 1996, pp. 333-336