http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Optimizing Database-Backed Applications with Query Synthesis
Cheung, A.; Solar-Lezama, A.; Madden, S. ACM; 1999 2013 p.3-14
Automated Feedback Generation for Introductory Programming Assignments
Singh, R.; Gulwani, S.; Solar-Lezama, A. ACM; 1999 2013 p.15-26
Complete Completion Using Types and Weights
Gvero, T.; Kuncak, V.; Kuraj, I.; Piskac, R. ACM; 1999 2013 p.27-38
Fast Condensation of the Program Dependence Graph
Johnson, N.P.; Oh, T.; Zaks, A.; August, D.I. ACM; 1999 2013 p.39-50
Scalable Variable and Data Type Detection in a Binary Rewriter
ElWazeer, K.; Anand, K.; Kotha, A.; Smithson, M.; Barua, R. ACM; 1999 2013 p.51-60
Fast RMWs for TSO: Semantics and Implementation
Rajaram, B.; Nagarajan, V.; Sarkar, S.; Elver, M. ACM; 1999 2013 p.61-72
Rely-Guarantee References for Refinement Types Over Aliased Mutable Data
Gordon, C.S.; Ernst, M.D.; Grossman, D. ACM; 1999 2013 p.73-84
Harmonizing Classes, Functions, Tuples, and Type Parameters in Virgil III
Titzer, B.L. ACM; 1999 2013 p.85-94
It's Alive! Continuous Feedback in UI Programming
Burckhardt, S.; Fahndrich, M.; de Halleux, P.; McDirmid, S.; Moskal, M.; Tillmann, N.; Kato, J. ACM; 1999 2013 p.95-104