[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Deep Specifications and Certified Abstraction Layers
Gu, Ronghui, Koenig, Jérémie, Ramananandro, Tahina, Shao, Zhong, Wu, Xiongnan (Newman), Weng, Shu-Chun, Zhang, Haozhong, Guo, YuYear:
2015
Language:
english
DOI:
10.1145/2676726.2676975
File:
PDF, 1.27 MB
english, 2015