Frances Allen has died