1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.SE2020
Long-term Productivity for Long-term Impact
Spencer Smith, Jacques Carette
We present a new conceptual definition of 'productivity' for sustainably developing research software. Existing definitions are flawed as they are short-term biased, thus devaluing…
cs.SE2019★ 1 cited
Building Confidence in Scientific Computing Software Via Assurance Cases
Spencer Smith, Mojdeh Sayari Nejad, Alan Wassyng
Assurance cases provide an organized and explicit argument for correctness. They can dramatically improve the certification of Scientific Computing Software (SCS). Assurance cases…
cs.PL2019
GOOL: A Generic Object-Oriented Language (extended version)
Jacques Carette, Brooks MacLachlan, W. Spencer Smith
We present GOOL, a Generic Object-Oriented Language. It demonstrates that a language, with the right abstractions, can capture the essence of object-oriented programs. We show how…