Program synthesis from domain specific object models. An investigation of relational semantics, model completion and automatic code generation for object oriented systems