scientific article; zbMATH DE number 3926221

MaRDI QIDQ3700813zbMATH OpenFDO

Authors Rudolf Berghammer

Publication date 1984

zbMATH Keywords

algorithmsdevelopment offixpoint semanticsgraphprogram transformation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Graph theory (including graph drawing) in computer science (68R10)

Cited in

(4)

• Some aspects of algorithm transformation based on the formalization of information connections
• scientific article; zbMATH DE number 3880874 (Why is no real title available?)
• scientific article; zbMATH DE number 4211384 (Why is no real title available?)
• scientific article; zbMATH DE number 3974995 (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 Q3700813)