Fix null program value.
Robustify class desctructors.
Improve program readability.
WIP: implement device buffer data structure.