A Formal Foundation for Trace-based JIT Compilers

Printer-friendly version

Publication Type:

Conference Paper

Source:

Proceedings of the 13th International Workshop on Dynamic Analysis, ACM, New York, NY, USA (2015)

ISBN:

978-1-4503-3909-4

URL:

http://doi.acm.org/10.1145/2823363.2823369

Keywords:

dynamic analysis, operational semantics, tracing JIT compilation