Languages

Deep Specifications and Certified Abstraction Layers

TitleDeep Specifications and Certified Abstraction Layers
Publication TypeConference Paper
Year of Publication2015
AuthorsGu R, Koenig J, Ramananandro T, Shao Z, Wu X(N), Weng S-C, Zhang H, Guo Y
Conference NameProc. 42rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2015), pp 595-608
Conference LocationMumbai, India