Principles of abstract machines : guest editorial