http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Peter Trott; Peter Trott Association for Computing Machinery 1997 p.14-57
Position statements on strategic directions for research on programming languages
Chris L Hankin; Chris Hankin; Hanne Riis Nielson; Hanne Riis Nielson; Jens Palsberg; Jens Palsberg Association for Computing Machinery 1997 p.59-65
L. Cardelli; Luca Cardelli Association for Computing Machinery 1997 p.66-68
Program adaptation based on program transformation
Charles Consel; Charles Consel Association for Computing Machinery 1997 p.69-72
Program analysis: the abstract interpretation perspective
Patrick Cousot; Patrick Cousot Association for Computing Machinery 1997 p.73-76
Integration of declarative paradigms: benefits and challenges
Michael Hanus; Michael Hanus Association for Computing Machinery 1997 p.77-79
R. Harper; Robert Harper; John C. Mitchell; John C. Mitchell Association for Computing Machinery 1997 p.80-85
Program analysis for software engineering: new applications, new requirements, new tools
Daniel Le Le Metayer; Daniel Le Metayer Association for Computing Machinery 1997 p.86-88
Perspectives on program analysis
Flemming Nielson; Flemming Nielson Association for Computing Machinery 1997 p.89-91
Challenges in type systems research
Martin Odersky; Martin Odersky Association for Computing Machinery 1997 p.92-93