학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 20건 | 목록 1~10
Dissertation/ Thesis
Academic Journal
Proceedings of the ACM on Programming Languages. 6(POPL):1-32
Conference
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. :158-174
Academic Journal
Proceedings of the ACM on Programming Languages. 3(POPL):1-32
Conference
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. :111-128
Conference
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. :1-15
Conference
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. :311-322
Conference
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :509-520
Book
Programming Languages & Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory & Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings; 2015, p283-307, 25p
Book
Computer Aided Verification (9783642314230); 2012, p495-512, 18p
검색 결과 제한하기
제한된 항목
[AR] Memarian, Kayvan
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어