pdf-format: |
|
@InProceedings{cifuentes_et_al:DagSemProc.08161.5, author = {Cifuentes, Cristina and Scholz, Bernhard}, title = {{Parfait - Designing a Scalable Bug Checker}}, booktitle = {Scalable Program Analysis}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8161}, editor = {Florian Martin and Hanne Riis Nielson and Claudio Riva and Markus Schordan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2008/1573}, URN = {urn:nbn:de:0030-drops-15737}, doi = {10.4230/DagSemProc.08161.5}, annote = {Keywords: Static analysis, demand driven, parallelizable} }
Keywords: | Static analysis, demand driven, parallelizable | |
Seminar: | 08161 - Scalable Program Analysis | |
Issue date: | 2008 | |
Date of publication: | 28.08.2008 |