scientific article; zbMATH DE number 3986623

zbMATH Open0609.68017MaRDI QIDQ3750111FDOQ3750111

Authors: V. Eh. Itkin 

Publication date: 1984

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

transformationsprogram correctnessmixed computationsprogram optimization and parallelizing

Mathematics Subject Classification ID

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

Cited In (12)

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

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)