Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses (2001)
by
Fausto Spoto
| Venue: | Proc. of the Static Analysis Symposium, SAS'01 |
| Citations: | 8 - 7 self |
BibTeX
@INPROCEEDINGS{Spoto01watchpointsemantics:,
author = {Fausto Spoto},
title = {Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses},
booktitle = {Proc. of the Static Analysis Symposium, SAS'01},
year = {2001},
pages = {127--145},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We abstract a denotational trace semantics for an imperative language into a compositional and focussed watchpoint semantics.
