On Essential Program Annotations and Completeness of Verifying Compilers

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Thorsten Bormer und Vladimir Klebanov
In:16th Workshop on Verified Software: Theory, Tools, and Experiments (VSTTE 2009)
Jahr:2009

BibTeX

@inproceedings{BeckertKlevanovBormer2009,
  author =    {Bernhard Beckert and Thorsten Bormer and Vladimir Klebanov},
  title =     {On Essential Program Annotations and 
               Completeness of Verifying Compilers},
  booktitle = {16th Workshop on Verified Software: Theory, Tools, 
               and Experiments (VSTTE 2009)},
  editors =   {Jean-Christophe Filli{\^a}tre and Leo Freitas},
  year =      {2009},
  month =     nov
}