http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Partial Evaluation of Call-By-Value Lambda-Calculus with Side-Effects
Asai, K.; Masuhara, H.; Yonezawa, A. ACM 1997 p.12-21
A Type-Directed, On-Line, Partial Evaluator for a Polymorphic Language
Sheard, T. ACM 1997 p.22-35
Partial-Evaluation Techniques for Concurrent Programs
Marinescu, M.; Goldberg, B. ACM 1997 p.47-62
Accurate Binding-Time Analysis for Imperative Languages : Flow, Context and Return Sensitivity
Hornof, L.; Noye, J. ACM 1997 p.63-73
Interconvertibility of Set Constraints and Context-Free Language Reachability
Melski, D.; Reps, T. ACM 1997 p.74-89
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
Danvy, O.; Schultz, U. P. ACM 1997 p.90-106
Beshers, C.; Feiner, S. ACM 1997 p.107-115
Scaling up Partial Evaluation for Optimizing Commercial RPC Protocol
Muller, G.; Volanschi, E.-R.; Marlet, R. ACM 1997 p.116-126