Typechecking of PEI expressions

DOI10.1007/BFB0002778MaRDI QIDQ4536985zbMATH OpenFDO

Authors E. Violard

Publication date 25 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0002778

zbMATH Keywords

automatic parallelizationdata parallelismparallel computationsemantics of programming languagestype inference

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• PEI: A language and its refinement calculus for parallel programming
• Type inference for action semantics
• Programming Languages and Systems
• Sparse computation with PEI
• scientific article; zbMATH DE number 4205977

Cited in

(1)

• PEI: A language and its refinement calculus for parallel programming

This page was built for publication: Typechecking of PEI expressions

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