Authors: DESCHREYE D VERSCHAETSE K

Citation: D. Deschreye et K. Verschaetse, DERIVING LINEAR SIZE RELATIONS FOR LOGIC PROGRAMS BY ABSTRACT INTERPRETATION, New generation computing, 13(2), 1995, pp. 117-154