scientific article; zbMATH DE number 3870580

MaRDI QIDQ3336677zbMATH OpenFDO

Authors G. E. Tsejtlin

Publication date 1982

zbMATH Keywords

logical aspects of synthesis of structured parallel programsprogram logicsstructural programmingsystems of algorithmic algebras

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Structural synthesis of parallel programs (methodology and tools)
• Algorithmic data structure algebras and multilevel program design
• Theoretical and applied aspects of structured parallel programming
• Structured programming in symbolic multiprocessing
• scientific article; zbMATH DE number 3936467

Cited in

(4)

• Structural synthesis of parallel programs (methodology and tools)
• Structured programming in symbolic multiprocessing
• Logical and algorithmic formalisms for the problem of correct program design
• Programming in three-valued logic

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 Q3336677)