Search
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