Static Analysis

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Static Analysis
 
ISBN
978-3-031-22308-2
 
Publisher Herausgeber
Springer Nature Switzerland AG
 
Place of publishing Erscheinungsort
Cham, Switzerland
 
DOI
10.1007/978-3-031-22308-2
 
Volume Band
13790
 

Publications Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Zuleger, Florian ; Sinn, Moritz ; Gulwani, Sumit ; Veith, Helmut Bound Analysis of Imperative Programs with the Size-Change AbstractionKonferenzbeitrag Inproceedings2011
2Zuleger, Florian Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change AbstractionKonferenzbeitrag Inproceedings 2018
3Bastys, Iulia ; Algehed, Maximilian ; Sjösten, Alexander ; Sabelfeld, Andrei SecWasm: Information Flow Control for WebAssemblyInproceedings Konferenzbeitrag 5-Dec-2022