DERIVING FOLD UNFOLD TRANSFORMATIONS OF LOGIC PROGRAMS USING EXTENDEDOLDT-BASED ABSTRACT INTERPRETATION

Authors
BOULANGER D BRUYNOOGHE M
Citation
D. Boulanger et M. Bruynooghe, DERIVING FOLD UNFOLD TRANSFORMATIONS OF LOGIC PROGRAMS USING EXTENDEDOLDT-BASED ABSTRACT INTERPRETATION, Journal of symbolic computation, 15(5-6), 1993, pp. 495-521
Citations number
33
Categorie Soggetti
Mathematics,"Computer Sciences, Special Topics",Mathematics,"Computer Applications & Cybernetics
Journal title
Journal of symbolic computation → ACNP
ISSN journal
07477171
Volume
15
Issue
5-6
Year of publication
1993
Pages
495 - 521
Database
ISI
SICI code
0747-7171(1993)15:5-6<495:DFUTOL>2.0.ZU;2-M