Implementing transactions using Ada exceptions: which features are missing? | ACM SIGAda Ada Letters | DeepDyve