Modifications of the program scheme model

DOI10.1016/0022-0000(79)90036-9MaRDI QIDQ1258173zbMATH OpenOpenAlexFDO

Authors Elaine J. Weyuker

Publication date 1979

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-0000(79)90036-9

zbMATH Keywords

Formal Model for Abstract Programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• On formalised computer programs
• Program schemata and the first-order decision problem
• Theory of program structures: Schemes, semantics, verification
• Translating Program Schemas to While-Schemas
• Unsolvability in 3 × 3 Matrices

Cited in

(2)

• Equivalence of conservative, free, linear program schemas is decidable
• Formalizing the notions of non-interactive and interactive algorithms

This page was built for publication: Modifications of the program scheme model

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