Folgen
Jaemin Choi
Jaemin Choi
KAIST
Bestätigte E-Mail-Adresse bei kaist.ac.kr
Titel
Zitiert von
Zitiert von
Jahr
Compass: strong and compositional library specifications in relaxed memory separation logic
HH Dang, J Jung, J Choi, DT Nguyen, W Mansky, J Kang, D Dreyer
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
212022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.