Software and data supporting “Lightning Talk: Supporting Software Sustainability with Lightweight Specifications”
Repository URI
Repository DOI
Change log
Authors
Contrastin, Mistral
Danish, Matthew
Orchard, Dominic
Rice, Andrew
Description
Code snapshot of CamFort, evaluation scripts, and sample code to reproduce paper result.
Version
Software / Usage instructions
ghc, happy, alex, stack
Keywords
camfort, units-of-measure, specification
Publisher
University of Cambridge
Sponsorship
EPSRC [EP/M026124/1]