http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Ott: Effective Tool Support for the Working Semanticist
Sewell, P.; Nardelli, F. Z.; Owens, S.; Peskine, G.; Ridge, T.; Sarkar, S.; Strnisa, R. ACM; 1999 2007 p.1-12
Extensible Pattern Matching Via a Lightweight Language Extension
Syme, D.; Neverov, G.; Margetson, J. ACM; 1999 2007 p.29-40
On Barron and Strachey's Cartesian Product Function
Danvy, O.; Spivey, M. ACM; 1999 2007 p.41-46
Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions
Matsuda, K.; Hu, Z.; Nakano, K.; Hamana, M.; Takeichi, M. ACM; 1999 2007 p.47-58
Termination Analysis and Call Graph Construction for Higher-Order Functional Programs
Sereni, D. ACM; 1999 2007 p.71-84
Relating Complexity and Precision in Control Flow Analysis
Van Horn, D.; Mairson, H. G. ACM; 1999 2007 p.85-96
Inductive Reasoning about Effectful Data Types
Filinski, A.; Stovring, K. ACM; 1999 2007 p.97-110