scientific article; zbMATH DE number 3986622

MaRDI QIDQ3750110zbMATH OpenFDO

Authors V. Eh. Itkin

Publication date 1984

zbMATH Keywords

functional and transformational correctnessoptimization and synthesis of programsprogram generating programs

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3924127
• scientific article; zbMATH DE number 3986623
• An algebra of mixed computation
• Algebra unifies operational calculi
• Program algebra over an algebra

Cited in

(8)

• Algorithmic analysis of mixed computations
• Correctness of mixed computations in Incol
• An algebra of mixed computation
• Program algebra over an algebra
• scientific article; zbMATH DE number 3938532 (Why is no real title available?)
• scientific article; zbMATH DE number 3976300 (Why is no real title available?)
• scientific article; zbMATH DE number 3986623 (Why is no real title available?)
• scientific article; zbMATH DE number 52303 (Why is no real title available?)

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