共 15 条
[1]
Ajmani S, 2004, THESIS
[2]
Bazzi R. A., 2009, HOTSWUP
[3]
BOYAPATI C, 2003, OOPSLA
[4]
Fournet C, 2003, LECT NOTES COMPUT SC, V2638, P129
[6]
Hayden Christopher, 2012, VSTTE
[7]
Hicks M, 2005, ACM T PROGR LANG SYS, V27, P1049, DOI [10.1145/1108970.1108971, 10.1145/381694.378798]
[8]
Neamtiu I., 2009, PLDI
[9]
Neamtiu I. G., 2008, THESIS
[10]
Schmitt A., 2004, GC