mirage

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "Validation de Programmes"

DSpace/Manakin Repository

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "Validation de Programmes"

Sort by: Order: Results:

  • Laboratoire de l'informatique du parallélisme; Filliatre, Jean-Christophe (1997-07)
    (eng) Proofs of correctness of imperative programs are traditionally done in first order frameworks derived from Hoare logic~\cite{Hoare69}. On the other hand, correctness proofs of purely functional programs are almost ...

Search DSpace


Advanced Search

Browse

My Account

Bookmark and Share