mirage

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "Vérification de programmes"

DSpace/Manakin Repository

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Subject "Vérification de programmes"

Sort by: Order: Results:

  • Laboratoire de l'informatique du parallélisme; Prost, Frederic (1995-12)
    (eng) Constructive logic can be used to consider program specifications as logical formulas. The advantage of this approach is to generate programs which are certified with respect to some given specifications. The programs ...

Search DSpace


Advanced Search

Browse

My Account

Bookmark and Share