Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Article | Conference or workshop item
Number of items: 3.
Article
Contrastin, Mistral and Rice, Andrew and Danish, Matthew and Orchard, Dominic A. (2015) Units-of-Measure Correctness in Fortran Programs. Computing in Science & Engineering, 18 (1). pp. 102-107. ISSN 1521-9615. (doi:https://doi.org/10.1109/MCSE.2016.17) (Full text available) |
Conference or workshop item
Contrastin, Mistral and Orchard, Dominic A. and Rice, Andrew C. (2018) Automatic reordering for dataflow safety of Datalog. In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. ACM ISBN 978-1-4503-6441-6. (doi:https://doi.org/10.1145/3236950.3236954) (Full text available) |
Contrastin, Mistral and Danish, Matthew and Rice, Andrew C. and Orchard, Dominic A. (2016) Supporting Software Sustainability with Lightweight Specifications. In: CEUR Workshop Proceedings. Proceedings of the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). (Full text available) |