학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 72건 | 목록 20~30
Conference
In: EGRAPHS 2022 - Proceedings of the 1st ACM SIGPLAN International Symposium on E-Graph Research, Applications, Practices, and Human-Factors, Co-located with PLDI 2022, EGRAPHS 2022 - Proceedings of the 1st ACM SIGPLAN International Symposium on E-Graph Research, Applications, Practices, and Human-Factors, Co-located with PLDI 2022. (EGRAPHS 2022 - Proceedings of the 1st ACM SIGPLAN International Symposium on E-Graph Research, Applications, Practices, and Human-Factors, Co-located with PLDI 2022, 14 June 2022, :III)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs, 36th European Conference on Object-Oriented Programming, ECOOP 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 June 2022, 222)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, September 2017, 1(ICFP))
Academic Journal
In: ACM SIGPLAN Notices. (ACM SIGPLAN Notices, 19 October 2016, 51(10):765-780)
Conference
In: Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. (Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022, 2022, :75-83)
Academic Journal
In: ACM SIGPLAN Notices. (ACM SIGPLAN Notices, June 2016, 51(6):448-461)
Conference
In: MAPS 2021 - Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming, co-located with PLDI 2021, MAPS 2021 - Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming, co-located with PLDI 2021. (MAPS 2021 - Proceedings of the 5th ACM SIGPLAN International Symposium on Machine Programming, co-located with PLDI 2021, 21 June 2021, :21-31)
Conference
In: ICLR 2021 - 9th International Conference on Learning Representations, ICLR 2021 - 9th International Conference on Learning Representations. (ICLR 2021 - 9th International Conference on Learning Representations, 2021)
Conference
In: Proceedings of CORRECTNESS 2021: 5th International Workshop on Software Correctness for HPC Applications, Held in conjunction with SC 2021: The International Conference for High Performance Computing, Networking, Storage and Analysis, Proceedings of CORRECTNESS 2021: 5th International Workshop on Software Correctness for HPC Applications, Held in conjunction with SC 2021: The International Conference for High Performance Computing, Networking, Storage and Analysis. (Proceedings of CORRECTNESS 2021: 5th International Workshop on Software Correctness for HPC Applications, Held in conjunction with SC 2021: The International Conference for High Performance Computing, Networking, Storage and Analysis, 2021, :9-15)
Conference
In: Proceedings - Symposium on Computer Arithmetic, Proceedings - 2021 IEEE 28th Symposium on Computer Arithmetic, ARITH 2021. (Proceedings - Symposium on Computer Arithmetic, 2021, 2021-June:1-8)
검색 결과 제한하기
제한된 항목
[AR] Tatlock, Z.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어