http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Invited Talk: Slicing and Partial Evaluation of CORBA Component Model Designs for Avionics Systems
Hatcliff, J.; Deng, W.; Dwyer, M. B.; Jung, G.; Ranganath, V.; Robby ACM Press, 2003 p.1-2
Fast Partial Evaluation of Pattern Matching in Strings
Ager, M. S.; Danvy, O.; Rohde, H. K. ACM Press, 2003 p.3-9
Transforming Interpreters into Inverse Interpreters by Partial Evaluation
Gluck, R.; Kawada, Y.; Hashimoto, T. ACM Press, 2003 p.10-19
Invited Talk: Abstract Specialization and its Applications
Puebla, G.; Hermenegildo, M. ACM Press, 2003 p.29-43
Slicing Java Programs that Throw and Catch Exceptions
Allen, M.; Horwitz, S. ACM Press, 2003 p.44-54
Storeless Semantics and Alias Logic
Bozga, M.; Iosif, R.; Laknech, Y. ACM Press, 2003 p.55-65
CodeBricks: Code Fragments as Building Blocks
Attardi, G.; Cisternino, A.; Kennedy, A. ACM Press, 2003 p.66-74
Extending Sized Type with Collection Analysis
Chin, W.-N.; Khoo, S.-C.; Xu, D. N. ACM Press, 2003 p.75-84
Optimizing Ackermann's Function by Incrementalization
Liu, Y. A.; Stoller, S. D. ACM Press, 2003 p.85-91