On reduction of sequential-parallel compositional programs to entirely sequential form

MaRDI QIDQ3076138zbMATH OpenFDO

Authors T. S. Parfirova

Publication date 22 February 2011

zbMATH Keywords

compositionentirely sequential programsequential-parallel program

Mathematics Subject Classification ID

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

Recommendations

• Compositionality Entails Sequentializability
• Basic results in automatic transformations of shared memory parallel programs into sequential programs
• Theoretical Aspects of Computing – ICTAC 2005
• Formal sequentialization of distributed systems via program rewriting
• scientific article; zbMATH DE number 5856093

Cited in

(4)

• Basic results in automatic transformations of shared memory parallel programs into sequential programs
• scientific article; zbMATH DE number 1670469 (Why is no real title available?)
• Formal sequentialization of distributed systems via program rewriting
• Theoretical Aspects of Computing – ICTAC 2005

This page was built for publication: On reduction of sequential-parallel compositional programs to entirely sequential form

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