Characterizing sets of data structures by the connectivity relation

DOI10.1007/BF00975627zbMath0403.68019OpenAlexW2031143998MaRDI QIDQ4188718

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 StructuresProgram CorrectnessDirected Graph Connectivity RelationFirst-Order Predicate Calculus

Mathematics Subject Classification ID

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

Related Items (1)

Data schemata based on directed graphs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Data graphs and addressing schemes
• Data schemata based on directed graphs
• A relational model of data for large shared data banks
• Toward an understanding of data structures

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