diff options
| author | Sven Verdoolaege <skimo@kotnet.org> | 2010-04-13 09:31:58 +0200 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@kotnet.org> | 2010-04-13 09:31:58 +0200 |
| commit | a408c701f765035da277aae7e60fe2cb6e4007f3 (patch) | |
| tree | e9538da56f10689a49404f64cce83d7f28a3dd7c /doc/isl.bib | |
| parent | 6c573431f5641840f006dd6b5c2a14da59a9f4ff (diff) | |
| download | isl-a408c701f765035da277aae7e60fe2cb6e4007f3.tar.gz isl-a408c701f765035da277aae7e60fe2cb6e4007f3.tar.bz2 isl-a408c701f765035da277aae7e60fe2cb6e4007f3.zip | |
doc: cite Omega library documentation on computation of underapproximations
Diffstat (limited to 'doc/isl.bib')
| -rw-r--r-- | doc/isl.bib | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/isl.bib b/doc/isl.bib index 16fdc838..50836c76 100644 --- a/doc/isl.bib +++ b/doc/isl.bib @@ -61,6 +61,14 @@ year = 1996 } +@TechReport{ Omega_lib, + author = "Wayne Kelly and Vadim Maslov and William Pugh and Evan Rosser and Tatiana Shpeisman and Dave Wonnacott", + title = "The {Omega} Library", + month = nov, + institution = "University of Maryland", + year = 1996 +} + @unpublished{Verdoolaege2009isl, author = "Verdoolaege, Sven", title = "An integer set library for program analysis", |