Definition
A simple database that maps names to values, like a giant dictionary.
A storage abstraction supporting Put(key,value) and Get(key) operations; used as the canonical test domain for the Inductive-Deductive Synthesis verified-systems paper.
A simple database that maps names to values, like a giant dictionary.
A storage abstraction supporting Put(key,value) and Get(key) operations; used as the canonical test domain for the Inductive-Deductive Synthesis verified-systems paper.