Algebraic Program Semantics for Supercomputing

DOI10.1007/978-3-642-39698-4_8zbMath1390.68171OpenAlexW25309192MaRDI QIDQ2842630

Yifeng Chen

Publication date: 16 August 2013

Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39698-4_8

zbMATH Keywords

parallel programmingalgebra-semantic programming theory

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Uses Software

• CUDA
• cuFFT
• Parray
• Chapel
• Accelerate

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Priority and abstraction in process algebra
• Matrices as Arrows!
• Laws of programming
• Operators
• Regular, shape-polymorphic, parallel arrays in Haskell

This page was built for publication: Algebraic Program Semantics for Supercomputing