modified compiler theory