Modifications of the program scheme model

DOI10.1016/0022-0000(79)90036-9zbMath0407.68013OpenAlexW1993713645MaRDI QIDQ1258173

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)

Related Items (1)

Equivalence of conservative, free, linear program schemas is decidable

Cites Work

• Unnamed Item
• Program schemata and the first-order decision problem
• Theory of program structures: Schemes, semantics, verification
• On formalised computer programs
• Translating Program Schemas to While-Schemas
• Unsolvability in 3 × 3 Matrices

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