Sciweavers

7124 search results - page 55 / 1425
» Programming Languages and Operating Systems
Sort
View
AGP
1995
IEEE
15 years 1 months ago
Constraint Systems for Pattern Analysis of Constraint Logic-Based Languages
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
Roberto Bagnara