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 |
| Summary: | 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, therefore programming language analyzers (abstract interpreters) are not easy to write. This thesis more deeply investigates a systematic method of creating abstract interpreters
from traditional interpreters, called Abstracting Abstract Machines. |
|---|