> Which languages *do* support automatic state rollback?
I know of Oracle PL/SQL, the experimental language SESAME, and of course all pure functional languages. There must be others, but I am not a language freak :-)
> I know Java supports exception specification, which others?
C++, sort of. Many others, I guess.
> Do you know of any design patterns or example implementations > of generic/abstract "Checkpoint and Restart" mechanisms, in > Delphi?
The nearest thing I know of is the paper "Error handling for Business
Best regards, Kristofer