Orchard, Dominic A. and Rice, Andrew C. (2014) A Computational Science Agenda for Programming Language Research. In: Proceedings of the International Conference on Computational Science, ICCS 2014, Cairns, 10-12 June 2014, Queensland, Australia. (doi:https://doi.org/10.1016/j.procs.2014.05.064) (Full text available)
- Publisher pdf
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Scientific models are often expressed as large and complicated programs. These programs embody numerous assumptions made by the developer (e.g., for differential equations, the discretization strategy and resolution). The complexity and pervasiveness of these assumptions means that often the only true description of the model is the software itself. This has led various researchers to call for scientists to publish their source code along with their papers. We argue that this is unlikely to be beneficial since it is almost impossible to separate implementation assumptions from the original scientific intent. Instead we advocate higher-level abstractions in programming languages, coupled with lightweight verification techniques such as specification and type systems. In this position paper, we suggest several novel techniques and outline an evolutionary approach to applying these to existing and future models. One-dimensional heat flow is used as an example throughout.
|Item Type:||Conference or workshop item (Paper)|
|Subjects:||Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,|
|Divisions:||Faculties > Sciences > School of Computing > Programming Languages and Systems Group|
|Depositing User:||Dominic Orchard|
|Date Deposited:||28 Sep 2016 13:25 UTC|
|Last Modified:||29 Sep 2016 11:18 UTC|
|Resource URI:||https://kar.kent.ac.uk/id/eprint/57488 (The current URI for this page, for reference purposes)|
|ORCiD (Orchard, Dominic A.):||http://orcid.org/0000-0002-7058-7842|