학술논문
'학술논문'
에서 검색결과 72건 | 목록
40~50
Conference
In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) , PLDI 2018 - Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 11 June 2018, :256-269)
Conference
In: CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018 , CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. (CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018, 8 January 2018, 2018-January:175-182)
Book
In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10951 LNCS:355-363)
Book
In: Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10895 LNCS:362-369)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 2nd Summit on Advances in Programming Languages, SNAPL 2017. (Leibniz International Proceedings in Informatics, LIPIcs, 1 May 2017, 71)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 2nd Summit on Advances in Programming Languages, SNAPL 2017. (Leibniz International Proceedings in Informatics, LIPIcs, 1 May 2017, 71)
Book
In: Numerical Software Verification - 9th International Workshop, NSV 2016, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 10152 LNCS:63-77)
Conference
In: Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA , OOPSLA 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, 19 October 2016, 02-04-November-2016:765-780)
Roesch, J.; Lyubomirsky, S.; Kirisame, M.; Weber, L.; Pollock, J.; Vega, L.; Jiang, Z.; Chen, T.; Moreau, T.; Tatlock, Z.
In: arXiv . (arXiv, 17 April 2019)
Conference
In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) , PLDI 2016 - Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2 June 2016, 13-17-June-2016:448-461)
검색 결과 제한하기
제한된 항목
[AR] Tatlock, Z.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어