Formal models and free program schemata

zbMATH Open0875.68208MaRDI QIDQ1817131FDOQ1817131

Authors Vladimir A. Zakharov

Publication date 13 May 1997

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

program schematafunctional equivalence of programsformal models of programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 850400
• Parallel program schemata
• scientific article; zbMATH DE number 46687
• Program schemata with monotone operators
• scientific article; zbMATH DE number 4203724

Cited in

(7)

• scientific article; zbMATH DE number 5827855 (Why is no real title available?)
• scientific article; zbMATH DE number 1867306 (Why is no real title available?)
• scientific article; zbMATH DE number 3937124 (Why is no real title available?)
• Formal Models, Languages and Applications
• Formal models for some features of programming languages
• The totality problem for program schemas
• CONCUR 2003 - Concurrency Theory

This page was built for publication: Formal models and free program schemata

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