Algebraic program semantics for supercomputing

DOI10.1007/978-3-642-39698-4_8MaRDI QIDQ2842630zbMATH OpenOpenAlexFDO

Authors Yi F. 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

algebra-semantic programming theoryparallel programming

Mathematics Subject Classification ID

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

Recommendations

• Algebra of algorithms and dynamic parallel execution of sequential programs
• scientific article; zbMATH DE number 1859736
• scientific article; zbMATH DE number 3986623
• scientific article; zbMATH DE number 2104622
• A Semantic Model for Many-Core Parallel Computing

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Laws of programming
• Matrices as arrows! A biproduct approach to typed linear algebra
• Operators
• Priority and abstraction in process algebra
• Regular, shape-polymorphic, parallel arrays in Haskell
• The -calculus: A theory of mobile processes
• Unifying theories for logic programming

Cited in

(1)

• Computer Algebra in Scientific Computing

Describes a project that uses

Uses Software

• CUDA
• cuFFT
• Parray
• Chapel
• Accelerate

This page was built for publication: Algebraic program semantics for supercomputing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842630)