ideation and implementation of abstract machines