scientific article; zbMATH DE number 1086634

MaRDI QIDQ4362883zbMATH OpenFDO

Authors Rudolf Berghammer, Burghard von Karger

Publication date 13 November 1997

zbMATH Keywords

relational specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 475192
• Relational Methods in Computer Science
• scientific article; zbMATH DE number 1210360
• scientific article; zbMATH DE number 3936509

Cited in

(13)

• Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
• scientific article; zbMATH DE number 409457 (Why is no real title available?)
• scientific article; zbMATH DE number 475192 (Why is no real title available?)
• Relational Methods in Computer Science
• Relational and algebraic methods in computer science
• scientific article; zbMATH DE number 2090020 (Why is no real title available?)
• Relational Methods in Computer Science
• scientific article; zbMATH DE number 2087346 (Why is no real title available?)
• Formal derivation of greedy algorithms from relational specifications: a tutorial
• scientific article; zbMATH DE number 3936509 (Why is no real title available?)
• Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
• scientific article; zbMATH DE number 4003556 (Why is no real title available?)
• Relations as executable specifications: taming partiality and non-determinism using invariants

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