Browse by Publisher
![[up]](/style/images/multi_up.png)
Up a levelJump to: Article | Conference or workshop item
Number of items: 2.
Article
| Dominic, Orchard, Mistral, Contrastin, Matthew, Danish, Andrew, Rice (2017) Verifying Spatial Properties of Array Computations. Journal of Proceedings of the ACM on Programming Languages, 1 (OOPSLA). Article Number 75. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3133899) (KAR id:62274) |
|
Conference or workshop item
| Marr, Stefan, Torres Lopez, Carmen, Aumayr, Dominik, Gonzalez Boix, Elisa, Mössenböck, Hanspeter (2017) Κόμπος: A Platform for Debugging Complex Concurrent Applications. In: Companion to the First International Conference on the Art, Science and Engineering of Programming, Programming Demo'17. . 2:1-2:2. Association for Computing Machinery, New York, NY, United States E-ISBN 978-1-4503-4836-2. (doi:10.1145/3079368.3079378) (KAR id:87289) |
|
