Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 2.
2014
Mulligan, Dominic P. and Owens, Scott and Gray, Kathryn E. and Ridge, Tom and Sewell, Peter (2014) Lem: reusable engineering of real-world semantics. In: The 19th ACM SIGPLAN International Conference on Functional Programming, September 2014, Gothenburg, Sweden. (doi:https://doi.org/10.1145/2628136.2628143) (Full text available) |
2009
Sarkar, Susmit and Sewell, Peter and Zappa Nardelli, Francesco and Owens, Scott and Ridge, Tom and Braibant, Thomas and Myreen, Magnus O. and Alglave, Jade (2009) The Semantics of x86-CC Multiprocessor Machine Code. In: POPL '09 Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press, New York, N.Y. pp. 379-391. ISBN 978-1-60558-379-2. (doi:https://doi.org/10.1145/1480881.1480929) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |