ECOOP Best Papers
European Conference on Object-Oriented Programming
2 papers · 2024–2024
← ECOOP 학회 정보🏆 2024(2)
Distinguished Paper Award
Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee ReasoningFreund & Flanagan
Concurrent ProgrammingVerification
Distinguished Paper Award
Compiling with ArraysRichter, Böhler, Weisenburger & Mezini
CompilersProgramming Languages