Scalable Automated Incrementalization for Real-Time Static Analyses
This thesis proposes a framework for easy development of static analyses, whose results are incrementalized to provide instantaneous feedback in an integrated development environment (IDE). Today, IDEs feature many tools that have static analyses as their foundation to assess software quality and...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | German en |
| Published: |
2014
|
| Online Access: | http://tuprints.ulb.tu-darmstadt.de/3815/19/mitschke-phd-thesis.pdf Mitschke, Ralf <http://tuprints.ulb.tu-darmstadt.de/view/person/Mitschke=3ARalf=3A=3A.html> : Scalable Automated Incrementalization for Real-Time Static Analyses. Technische Universität, Darmstadt [Ph.D. Thesis], (2014) |