Software and data supporting “Lightning Talk: Supporting Software Sustainability with Lightweight Specifications”
Authors
Contrastin, Mistral
Danish, Matthew
Orchard, Dominic
Rice, Andrew
Publication Date
2016-08-12Publisher
University of Cambridge
Type
Software
Metadata
Show full item recordCitation
Contrastin, M., Danish, M., Orchard, D., & Rice, A. (2016). Software and data supporting “Lightning Talk: Supporting Software Sustainability with Lightweight Specifications” [Software]. https://doi.org/10.17863/CAM.1190
Description
Code snapshot of CamFort, evaluation scripts, and sample code to reproduce paper result.
Format
ghc, happy, alex, stack
Keywords
camfort, units-of-measure, specification
Relationships
Related publication: https://www.repository.cam.ac.uk/handle/1810/248216http://www.sciencedirect.com/science/article/pii/S1877750315000563
Publication Reference: http://wssspe.researchcomputing.org.uk/wp-content/uploads/2016/06/WSSSPE4_paper_23.pdf
Sponsorship
EPSRC [EP/M026124/1]
Identifiers
This record's DOI: https://doi.org/10.17863/CAM.1190
Rights
Attribution-ShareAlike 4.0 International
Licence URL: http://creativecommons.org/licenses/by-sa/4.0/
Recommended or similar items
The following licence files are associated with this item: