Dijkstra abstract machine