Sciweavers

64
Voted
SLP
1990
121views more  SLP 1990»
14 years 11 months 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