Modifications of the program scheme model
type: Item
instance of: scholarly article
title: Modifications of the program scheme model
zbMATH Open document ID: 0407.68013
DOI: 10.1016/0022-0000(79)90036-9
author: Elaine J. Weyuker
published in: Journal of Computer and System Sciences
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3633678
zbMATH Keywords: Formal Model for Abstract Programs
MaRDI profile type: Publication
full work available at URL: 0022-0000(79)90036-9
OpenAlex ID: W1993713645
cites work: Translating Program Schemas to While-Schemas
cites work: Theory of program structures: Schemes, semantics, verification
cites work: Program schemata and the first-order decision problem
cites work: On formalised computer programs
cites work: Q4124327
cites work: Unsolvability in 3 × 3 Matrices
description: scientific article; zbMATH DE number 3633678