2014/10/23 by Jiahao Chen, Alan Edelman, Chen, Jiahao +1 · 1 voice
#cs.PL
paper · pdf · doi:10.48550/arxiv.1410.6449
Polymorphism in programming languages enables code reuse. Here, we show that polymorphism has broad applicability far beyond computations for technical computing: parallelism in distributed computing, presentation of visualizations of runtime data flow, and proofs for formal verification of correctness. The ability to reuse a single codebase for all these purposes provides new ways to understand and verify parallel programs.