Object structures

What people said (1)

• elviejo · 2025-11-28 in Functional Data Structures and Algorithms: a Proof Assistant Approach

  Eiffel is the language you are looking for. It's pre-conditions and post-conditions prove the properties of the code that you actually are executing. The book that does the equivalent but with the properties checked at runtime is: Object Structures (like data structures but with objects). Here is the link: https://openlibrary.org/works/OL2979696W/Object_structures?e...