학술논문
'학술논문'
에서 검색결과 403건 | 목록
30~40
Academic Journal
Albert, Elvira; Grossman, Shelly; Rinetzky, Noam; Rodríguez-Núñez, Clara; Rubio, Albert; Sagiv, Mooly
Proceedings of the ACM on Programming Languages. 4(OOPSLA):1-30
Conference
Gershuni, Elazar; Amit, Nadav; Gurfinkel, Arie; Narodytska, Nina; Navas, Jorge A.; Rinetzky, Noam; Ryzhyk, Leonid; Sagiv, Mooly
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. :1069-1084
Conference
Proceedings of the Workshop on Hot Topics in Operating Systems. :45-50
Conference
Taube, Marcelo; Losa, Giuliano; McMillan, Kenneth L.; Padon, Oded; Sagiv, Mooly; Shoham, Sharon; Wilcox, James R.; Woos, Doug
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. :662-677
Report
Logical Methods in Computer Science, Volume 5, Issue 2 (May 28, 2009) lmcs:680
Conference
Proceedings of the 16th Workshop on Hot Topics in Operating Systems. :30-36
Academic Journal
Grossman, Shelly; Abraham, Ittai; Golan-Gueta, Guy; Michalevsky, Yan; Rinetzky, Noam; Sagiv, Mooly; Zohar, Yoni
Proceedings of the ACM on Programming Languages. 2(POPL):1-28
Academic Journal
Proceedings of the ACM on Programming Languages. 2(POPL):1-33
Conference
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. :614-630
검색 결과 제한하기
제한된 항목
[AR] Sagiv, Mooly
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어