Skip to main content

Browse by Publisher

Group by: Item Type | Date | No Grouping
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)
Format: PDF

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)
Format: PDF
This list was generated on Tue Dec 6 02:31:53 2022 GMT.