Tristan Simas

Semantic Completeness for Correct Maintenance: A Strict Hierarchy of Typing and Inheritance

Correct maintenance keeps required answers, excludes invalid states, and minimizes separately supplied answers and lifetime semantic edits (changes to required answers) across mechanisms. Banning semantic completeness makes correct maintenance formally impossible. We give exact m...

Semantic Completeness for Correct Maintenance: A Strict Hierarchy of Typing and Inheritance

Correct maintenance preserves required answers, excludes invalid states, and minimizes lifetime semantic edits. Banning semantic completeness makes it impossible. We prove necessary conditions for this optimum: a strict hierarchy with exact minima for identity names, contract mem...