DSpace at KOASAS
Browsing DSpace

Browse "CS-Conference Papers(학술회의논문)" by Author Dang, Hoang-Hai

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 1 of 1

1
Compass: strong and compositional library specifications in relaxed memory separation logic

Dang, Hoang-Hai; Jung, Jaehwang; Choi, Jaemin; Nguyen, Duc-Than; Mansky, William; Kang, Jeehoon; Dreyer, Derek, 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2022, pp.792 - 808, ACM, 2022-06-17

Discover

rss_1.0 rss_2.0 atom_1.0