Characterizing sets of data structures by the connectivity relation

DOI10.1007/BF00975627MaRDI QIDQ4188718zbMATH OpenOpenAlexFDO

Authors Antonio L. Furtado

Publication date 1976

Published in International Journal of Computer & Information Sciences (Search for Journal in Brave)

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

zbMATH Keywords

Data StructuresDirected Graph Connectivity RelationFirst-Order Predicate CalculusProgram Correctness

Mathematics Subject Classification ID

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

Cites work

• A relational model of data for large shared data banks
• Data graphs and addressing schemes
• Data schemata based on directed graphs
• scientific article; zbMATH DE number 3148521 (Why is no real title available?)
• scientific article; zbMATH DE number 3264081 (Why is no real title available?)
• scientific article; zbMATH DE number 3303654 (Why is no real title available?)
• Toward an understanding of data structures

Cited in

(1)

• Data schemata based on directed graphs

This page was built for publication: Characterizing sets of data structures by the connectivity relation

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