Browsing Computer Science 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 ...