Browsing by Author "Choi, W."
Now showing items 1-2 of 2
Relating Staged Computation to the Record Calculus Aktemur, Tankut Barış; Choi, W. (Özyeğin University, 06.09.2010)It has been previously shown that there is a close relation between record calculus and program generation (e.g. Lisp-like quasiquotations): A translation has been defined to convert staged expressions to record calculus ...
Static analysis of multi-staged programs via unstaging translation Choi, W.; Aktemur, Tankut Barış; Yi, K.; Tatsuta, M. (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