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)

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

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)

Cited In (7)

• Title not available (Why is that?)
• The totality problem for program schemas
• Title not available (Why is that?)
• CONCUR 2003 - Concurrency Theory
• Formal Models, Languages and Applications
• Formal models for some features of programming languages
• Title not available (Why is that?)

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)