scientific article; zbMATH DE number 3986623

MaRDI QIDQ3750111zbMATH OpenFDO

Authors V. Eh. Itkin

Publication date 1984

zbMATH Keywords

mixed computationsprogram correctnessprogram optimization and parallelizingtransformations

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3986622
• scientific article; zbMATH DE number 3924127
• Algebra of algorithms and dynamic parallel execution of sequential programs
• scientific article; zbMATH DE number 1273691
• scientific article; zbMATH DE number 4070282

Cited in

(12)

• Expressing parallel algorithms in NIAL
• The essence of parallel Algol.
• Tools for simulation of parallel computations in a system of algebraic programming
• A para-functional programming interface for a parallel computer algebra package
• Algebraic program semantics for supercomputing
• Algebra of algorithms and dynamic parallel execution of sequential programs
• scientific article; zbMATH DE number 3986622 (Why is no real title available?)
• Parallelizable algebras
• Parallelism and algorithms for algebraic manipulation: current work
• scientific article; zbMATH DE number 1534583 (Why is no real title available?)
• Thread algebra for poly-threading
• Software tools for automation of parallel programming on the basis of algebra of algorithms

This page was built for publication:

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