Analysis of Constraint Logic Programs

14 years 21 days ago

eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.

Kim Marriott, Harald Søndergaard

Eric Abstract Interpretation | Incremental Analysis Algorithms | Significant Benefits | SLP 1990 |

claim paper

Added	07 Nov 2010
Updated	07 Nov 2010
Type	Conference
Year	1990
Where	SLP
Authors	Kim Marriott, Harald Søndergaard

Comments (0)