Search
Now showing items 1-3 of 3
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 ...
Towards subtyped program generation in F#
(ACM, 2011)
Program Generation is the technique of combining code fragments to construct a program. In this work we report on our progress to extend F# with program generation constructs. Our prototype implementation uses a translation ...
Preface
(2011)
Share this page