Steve Kremer: Computational soundness of static equivalence

Computational soundness of static equivalence

Véronique Cortier, Steve Kremer, and Pascal Lafourcade. Computational soundness of static equivalence. Deliverable AVOTE 3.1, (ANR-07-SESU-002), March 2010. 106 pages.

Download

[PDF]

Abstract

(unavailable)

BibTeX

@misc{avote-D31,
  author =        {Cortier, V{\'e}ronique and Kremer, Steve and
                   Lafourcade, Pascal},
  howpublished =  {Deliverable AVOTE~3.1, (ANR-07-SESU-002)},
  month =         mar,
  note =          {106~pages},
  type =          {Contract Report},
  title =         {Computational soundness of static equivalence},
  year =          {2010},
  nmonth =        {3},
  url =           {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/avote-d3-1.pdf},
}