Automating abstract interpretation of abstract machines
Static program analysis is a valuable tool for any programming language that people write programs in. The prevalence of scripting languages in the world suggests programming language interpreters are relatively easy to write. Users of these languages lament their inability to analyze their code, th...
| Published: |
|
|---|---|
| Online Access: | http://hdl.handle.net/2047/D20193925 |