학술논문
'학술논문'
에서 검색결과 15건 | 목록
1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 6 June 2023, 7)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 6 June 2023, 7:1438-1462)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, October 2019, 3(OOPSLA))
Conference
Sammler, M.; Lepigre, R.; Dreyer, D.; Garg, D.; Hammond, A.; Sewell, P.; Campbell, B.; Pichon-Pharabod, J.
In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) , PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 9 June 2022, :825-840)
Book
In: Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13240 LNCS:143-173)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 9032:283-307)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 9032:736-761)
A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-Air executions
Academic Journal
In: ACM SIGPLAN Notices . (ACM SIGPLAN Notices, 8 April 2016, 51(1):622-633)
Book
In: Formal Methods - 24th International Symposium, FM 2021, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 13047 LNCS:61-79)
Conference
Watt, C.; Barbier, G.; Dolan, S.; Flur, S.; Pichon-Pharabod, J.; Pulte, C.; Podkopaev, A.; Guo, S.-Y.
In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) , PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 11 June 2020, :346-361)
검색 결과 제한하기
제한된 항목
[AR] Pichon-Pharabod, J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어