Formal models and free program schemata

MaRDI QIDQ1817131zbMATH OpenFDO

Authors Vladimir A. Zakharov

Publication date 13 May 1997

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

zbMATH Keywords

formal models of programsfunctional equivalence of programsprogram schemata

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

(8)

• scientific article; zbMATH DE number 5827855 (Why is no real title available?)
• The totality problem for program schemas
• scientific article; zbMATH DE number 3937124 (Why is no real title available?)
• scientific article; zbMATH DE number 1867306 (Why is no real title available?)
• scientific article; zbMATH DE number 850400 (Why is no real title available?)
• Formal Models, Languages and Applications
• Formal models for some features of programming languages
• 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)