Parallel Prefix Polymorphism Permits Parallelization, Presentation & Proof

Parallel Prefix Polymorphism Permits Parallelization, Presentation & Proof

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 correctn...

Full description

Bibliographic Details
Main Authors: Chen, Jiahao (Contributor), Edelman, Alan (Contributor)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Mathematics (Contributor)
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers (IEEE), 2017-06-01T20:21:12Z.
Subjects:
Article
Online Access:Get fulltext

Similar Items

Similar Items