scientific article; zbMATH DE number 3854395

zbMATH Open0537.68022MaRDI QIDQ3323249FDOQ3323249

Authors: Rudolf Berghammer, Gunther Schmidt 

Publication date: 1982

Title of this publication is not available (Why is that?)

Recommendations

• Dynamic logic with program specifications and its relational proof system
• Logical analysis of demonic nondeterministic programs
• scientific article; zbMATH DE number 67020
• Relational logic with framing and hypotheses
• Publication:3204444

zbMATH Keywords

semanticsmodal logicdynamic logicprogram verificationrelational algebracorrectnesssequential compositionnondeterministic branchingoperations on programsrelational theory of semantics of programs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Cylindric and polyadic algebras; relation algebras (03G15)

Cited In (3)

• Goto elimination in program algebra
• Title not available (Why is that?)
• To use or not to use the goto statement: programming styles viewed from Hoare Logic

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 Q3323249)