학술논문
'학술논문'
에서 검색결과 20건 | 목록
1~10
Academic Journal
Lepigre, Rodolphe; Sammler, Michael; Memarian, Kayvan; Krebbers, Robbert; Dreyer, Derek; Sewell, Peter
Proceedings of the ACM on Programming Languages. 6(POPL):1-32
Conference
Sammler, Michael; Lepigre, Rodolphe; Krebbers, Robbert; Memarian, Kayvan; Dreyer, Derek; Garg, Deepak
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. :158-174
Academic Journal
Memarian, Kayvan; Gomes, Victor B. F.; Davis, Brooks; Kell, Stephen; Richardson, Alexander; Watson, Robert N. M.; Sewell, Peter
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
Memarian, Kayvan; Matthiesen, Justus; Lingard, James; Nienhuis, Kyndylan; Chisnall, David; Watson, Robert N. M.; Sewell, Peter
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. :1-15
Conference
Sarkar, Susmit; Memarian, Kayvan; Owens, Scott; Batty, Mark; Sewell, Peter; Maranget, Luc; Alglave, Jade; Williams, Derek
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
Mador-Haim, Sela; Maranget, Luc; Sarkar, Susmit; Memarian, Kayvan; Alglave, Jade; Owens, Scott; Alur, Rajeev; Martin, Milo M. K.; Sewell, Peter; Williams, Derek
Computer Aided Verification (9783642314230); 2012, p495-512, 18p
검색 결과 제한하기
제한된 항목
[AR] Memarian, Kayvan
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어