DEF-G: Declarative Framework for GPU Environment