Programmed derivations of relational structures

DOI10.1007/BFB0017414MaRDI QIDQ4037329zbMATH OpenFDO

Authors Andrea Maggiolo-Schettini, Józef Winkowski

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0017414

zbMATH Keywords

configuration latticederivation behaviourproductionsprogramming constructsquasiderivationrelational structuressemanticstrace behaviourtransformations

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
• scientific article; zbMATH DE number 2063843
• Relational programming laws in the tree, list, bag, set hierarchy
• Derivation of logic programs by functional methods
• scientific article; zbMATH DE number 475192

Cited in

(13)

• Relational heuristics for the design of deterministic programs
• Relational programming laws in the tree, list, bag, set hierarchy
• Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem
• Program development schemata as derived rules
• Programming from metaphorisms
• Reflective programming in the relational algebra
• Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
• scientific article; zbMATH DE number 4193139 (Why is no real title available?)
• High-Level Programs and Program Conditions
• scientific article; zbMATH DE number 2063843 (Why is no real title available?)
• On the interleaving semantics of transformation units -- a step into GRACE
• Programmed graph transformations and graph transformation units in GRACE
• Logic based structure rewriting systems

This page was built for publication: Programmed derivations of relational structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4037329)