A Parametric Abstract Domain for Lattice-Valued Regular Expressions.

Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson

Browse the full SAS paper archive.