Static Analysis

Book title Buchtitel

Static Analysis

Editor Herausgeber_in

Yahav, Eran

Publisher Verlag

Springer

Place of publishing Erscheinungsort

6887

Series Schriftenreihe

Lecture Notes in Computer Science

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

RIS EndNote Bibtex

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