http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Proving That Non-Blocking Algorithms Don't Block
Gotsman, A.; Cook, B.; Parkinson, M.; Vafeiadis, V. ACM; 1999 2009 p.16-28
Static Contract Checking for Haskell
Xu, D.N.; Jones, S.P.; Claessen, K. ACM; 1999 2009 p.41-52
Flexible Types: Robust type inference for first-class polymorphism
Leijen, D. ACM; 1999 2009 p.66-77
Modular Code Generation from Synchronous Block Diagrams: Modularity vs. Code Size
Lublinerman, R.; Szegedy, C.; Tripakis, S. ACM; 1999 2009 p.78-89
Formal Certification of Code-Based Cryptographic Proofs
Barthe, G.; Gregoire, B.; Beguelin, S.Z. ACM; 1999 2009 p.90-101
Verifying Liveness for Asynchronous Programs
Ganty, P.; Majumdar, R.; Rybalchenko, A. ACM; 1999 2009 p.102-113