Browsing by Subject "Abstract interpretation"
Now showing items 1-1 of 1
-
Static analysis of multi-staged programs via unstaging translation
(ACM, 2011)Static analysis of multi-staged programs is challenging because thebasic assumption of conventional static analysis no longer holds: the program text itself is no longer a fixed static entity, but rather a dynamically ...
Share this page