EARL, efficient algorithm representation language