학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 10건 | 목록 1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 16 October 2023, 7(OOPSLA2))
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, 16 October 2023, 7(OOPSLA2))
Conference
In: International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, ASPLOS 2024 - Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS, 27 April 2024, 2:416-432)
Academic Journal
In: Proceedings of the ACM on Programming Languages. (Proceedings of the ACM on Programming Languages, January 2022, 6(POPL))
Conference
In: GPCE 2023 - Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with: SPLASH 2023, GPCE 2023 - Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with: SPLASH 2023. (GPCE 2023 - Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with: SPLASH 2023, 22 October 2023, :86-99)
Academic Journal
In: Art, Science, and Engineering of Programming. (Art, Science, and Engineering of Programming, 2019, 3(3))
Conference
In: ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis. (ISSTA 2022 - Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 18 July 2022, :556-567)
Book
In: Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 11990 LNCS:44-67)
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:568-587)
검색 결과 제한하기
제한된 항목
[AR] Porncharoenwase, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어