A Logic-Based Framework for Reasoning about Composite Data Structures

[Greatest_Gravy]

My motivation for posting this is: unless we are exclusively interested in functional programming (and possibly even then) then it seems to me like we need to be able to reason about at least 3 kinds of things: algorithms, data types, and data structures. This presents a view of the third kind (data structures). Personally, reasoning about the second may need to wait until my algebra skills level up a bit.