Search form
Search
Login
Login
Navigation
Home
General Info
About
Contact
Members
News
Vacancies
Research
Groups
REBLS
BDP
CAMP
DISCO
Artifacts
Dissertations
Projects
Publications
Youtube Channel
Education
Teaching
Thesis Proposals
Bachelor Projects
You are here
Home
ยป A Formal Foundation for Trace-based JIT Compilers
A Formal Foundation for Trace-based JIT Compilers
Publication Type:
Conference Paper
Authors:
Maarten Vandercammen
;
Nicolay, Jens
;
Stefan Marr
;
Joeri De Koster
;
D'Hondt, Theo
;
Coen De Roover
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