scientific article; zbMATH DE number 3854387

MaRDI QIDQ3323239zbMATH OpenFDO

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

Publication date 1983

zbMATH Keywords

abstract machinescorrectnessfixed pointsprogramm verification attributed grammarsprogramming languagessemantics

Mathematics Subject Classification ID

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

Cited in

(6)

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

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)