Cited By
View all- Brown MPalsberg J(2017)Jones-optimal partial evaluation by specialization-safe normalizationProceedings of the ACM on Programming Languages10.1145/31581022:POPL(1-28)Online publication date: 27-Dec-2017
- Feigin BMycroft A(2010)Formally efficient program instrumentationProceedings of the First international conference on Runtime verification10.5555/1939399.1939421(245-252)Online publication date: 1-Nov-2010
- Chafi HDeVito ZMoors ARompf TSujeeth AHanrahan POdersky MOlukotun K(2010)Language virtualization for heterogeneous parallel computingACM SIGPLAN Notices10.1145/1932682.186952745:10(835-847)Online publication date: 17-Oct-2010
- Show More Cited By