scientific article; zbMATH DE number 3854387

MaRDI QIDQ3323239zbMATHFDO

Authors Günther Riedewald, Jan Maluszyński, Piotr Dembinski

Publication date 1983

zbMATH Keywords

programming languagessemanticsfixed pointscorrectnessabstract machinesprogramm verification attributed grammars

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cited in

(5)

• scientific article; zbMATH DE number 2084339 (Why is no real title available?)
• scientific article; zbMATH DE number 193156 (Why is no real title available?)
• scientific article; zbMATH DE number 814819 (Why is no real title available?)
• scientific article; zbMATH DE number 400814 (Why is no real title available?)
• Evolution of rule-based programs

This page was built for publication:

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