mirage

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

DSpace/Manakin Repository

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

Sort by: Order: Results:

  • Laboratoire de l'informatique du parallélisme; Audebaud, Philippe; Zucca, Elena (1997-06)
    (eng) We claim that the continuation style semantics of a programming language can provide a starting point for constructing a proof system for that language. The basic idea is to see weakest precondition as a particular ...

Search DSpace


Advanced Search

Browse

My Account

Bookmark and Share