Found 3 Documents (Results 1–3)
The essence of higher-order concurrent separation logic. (English) Zbl 1485.68069
Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 696-723 (2017).
Lightweight verification of separate compilation. (English) Zbl 1347.68085
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 178-190 (2016).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (2)
all
top 5
Author
- Dreyer, Derek R. (3)
- Birkedal, Lars (2)
- Bizjak, Aleš (2)
- Jourdan, Jacques-Henri (2)
- Jung, Ralf (2)
- Krebbers, Robbert (2)
- Hur, Chung-Kil (1)
- Kang, Jeehoon (1)
- Kim, Yoonseung (1)
- Vafeiadis, Viktor (1)