http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Ogre and Pythia: An Invariance Proof Method for Weak Consistency Models
Alglave, Jade; Cousot, Patrick ACM Press 2017 p.3-18
A Posteriori Environment Analysis with Pushdown Delta CFA
Germane, Kimball; Might, Matthew ACM Press 2017 p.19-31
Semantic-Directed Clumping of Disjunctive Abstract States
Li, Huisong; Berenger, Francois; Chang, Bor-Yuh Evan; Rival, Xavier ACM Press 2017 p.32-45
Fast Polyhedra Abstract Domain
Singh, Gagandeep; Püschel, Markus; Vechev, Martin ACM Press 2017 p.46-59
Polymorphism, Subtyping, and Type Inference in MLsub
Dolan, Stephen; Mycroft, Alan ACM Press 2017 p.60-72
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Omar, Cyrus; Voysey, Ian; Hilton, Michael; Aldrich, Jonathan; Hammer, Matthew A. ACM Press 2017 p.86-99