scientific article; zbMATH DE number 512954

MaRDI QIDQ4281669zbMATH OpenFDO

Authors Paul F. Hoogendijk

Publication date 7 April 1994

zbMATH Keywords

program derivationrelational theory of datatypes

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 1088048
• A relational formulation of the theory of types
• Relational Reasoning for Recursive Types and References
• Syntactic logical relations for polymorphic and recursive types
• Logical Relations as Types: Proof-Relevant Parametricity for Program Modules
• Relational and Kleene-Algebraic Methods in Computer Science
• Relational interpretations of recursive types in an operational setting.
• scientific article; zbMATH DE number 1342222
• scientific article; zbMATH DE number 1251179
• Executable relational specifications of polymorphic type systems using Prolog

Cited in

(4)

• Combining relational calculus and the Dijkstra-Gries method for deriving relational programs
• Diversity and adjudication
• Relational programming laws in the tree, list, bag, set hierarchy
• Algebra of programming in Agda: Dependent types for relational program derivation

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