Sciweavers

SLP
1990
121views more  SLP 1990»
14 years 21 days ago
Analysis of Constraint Logic Programs
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
Kim Marriott, Harald Søndergaard