A generic annotation inference algorithm for the safety certification of automatically generated code.

Ewen Denney, Bernd Fischer

Browse the full GPCE paper archive.