scientific article; zbMATH DE number 1086634

zbMATH Open0884.68080MaRDI QIDQ4362883FDOQ4362883

Authors: Rudolf Berghammer, Burghard von Karger 

Publication date: 13 November 1997

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

Recommendations

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

zbMATH Keywords

relational specification

Mathematics Subject Classification ID

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

Cited In (13)

• Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relational Methods in Computer Science
• Relational and algebraic methods in computer science
• Title not available (Why is that?)
• Relational Methods in Computer Science
• Title not available (Why is that?)
• Formal derivation of greedy algorithms from relational specifications: a tutorial
• Title not available (Why is that?)
• Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures
• Title not available (Why is that?)
• 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)