http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Adoption and Focus: Practical Linear Types for Imperative Programming
Fahndrich, M.; DeLine, R. ACM; 1999 2002 p.13-24
Fast Copy Coalescing and Live-Range Identification
Budimlic, Z.; Cooper, K. D.; Harvey, T. J.; Kennedy, K.; Oberg, T. S.; Reeves, S. W. ACM; 1999 2002 p.25-32
Preference-Directed Graph Coloring
Koseki, A.; Komatsu, H.; Nakatani, T. ACM; 1999 2002 p.33-44
ESP: Path-Sensitive Program Verification in Polynomial Time
Das, M.; Lerner, S.; Seigle, M. ACM; 1999 2002 p.57-68
A System and Language for Building System-Specific, Static Analyses
Hallem, S.; Chelf, B.; Xie, Y.; Engler, D. ACM; 1999 2002 p.69-82
A System and Language for Building System-Specific, Static Analyses
Hallem, S.;Chelf, B.;Xie, Y.;Engler, D. ACM 2002 p.69-82
Deriving Specialized Program Analyses for Certifying Component-Client Conformance
Ramalingam, G.; Warshavsky, A.; Field, J.; Goyal, D.; Sagiv, M. ACM; 1999 2002 p.83-94