![](/img/cover-not-exists.png)
[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 - Compositional CompCert
Stewart, Gordon, Beringer, Lennart, Cuellar, Santiago, Appel, Andrew W.Year:
2015
Language:
english
DOI:
10.1145/2676726.2676985
File:
PDF, 1001 KB
english, 2015