@InProceedings{breu:DagSemProc.05451.6, author = {Breu, Silvia}, title = {{Extending C Global Surveyor}}, booktitle = {Beyond Program Slicing}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5451}, editor = {David W. Binkley and Mark Harman and Jens Krinke}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05451.6}, URN = {urn:nbn:de:0030-drops-4878}, doi = {10.4230/DagSemProc.05451.6}, annote = {Keywords: Static program analysis, abstract interpretation, program slicing} }