-
1
المؤلفون: Ronghui Gu, Jieung Kim, Vilhelm Sjöberg, David Costanzo, Jérémie Koenig, Xiongnan (Newman) Wu, Hao Chen, Zhong Shao
المصدر: Communications of the ACM. 62:89-99
مصطلحات موضوعية: Multi-core processor, Correctness, General Computer Science, Programming language, Computer science, Concurrency, 020207 software engineering, Context (language use), 02 engineering and technology, Thread (computing), computer.software_genre, Abstraction layer, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, computer, Kernel (category theory), Abstraction (linguistics), System software
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::32be2712fb89feb6b5114ed4be49471fTest
https://doi.org/10.1145/3356903Test -
2
المؤلفون: David Costanzo, Hao Chen, Xiongnan (Newman) Wu, Tahina Ramananandro, Jérémie Koenig, Jieung Kim, Ronghui Gu, Vilhelm Sjöberg, Zhong Shao
المصدر: PLDI
مصطلحات موضوعية: Programming language, Computer science, Concurrency, 020207 software engineering, Thread (computing), 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Computer Graphics and Computer-Aided Design, Abstraction layer, 010201 computation theory & mathematics, Synchronization (computer science), 0202 electrical engineering, electronic engineering, information engineering, Concurrent computing, 020201 artificial intelligence & image processing, Compiler, Layer (object-oriented design), computer, Software, Abstraction (linguistics)
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::af77ea9afb03e9892000063d702dfd34Test
https://doi.org/10.1145/3296979.3192381Test -
3
المؤلفون: Yu Guo, Shu-Chun Weng, Jérémie Koenig, Zhong Shao, Tahina Ramananandro, Xiongnan (Newman) Wu, Haozhong Zhang, Ronghui Gu
المصدر: POPL
مصطلحات موضوعية: Data abstraction, Functional programming, Correctness, Interface (Java), Computer science, Programming language, Proof assistant, computer.software_genre, Abstraction layer, Compiler, Layer (object-oriented design), computer, Implementation, Abstraction inversion, Abstraction (linguistics)
الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::8bc9af853deb44a62fc0b49c7e6474b1Test
https://doi.org/10.1145/2676726.2676975Test