mirage

Browsing by Author "Cachera, David"

DSpace/Manakin Repository

Browsing by Author "Cachera, David"

Sort by: Order: Results:

  • Laboratoire de l'informatique du parallélisme; Bougé, Luc; Cachera, David (1995-03)
    (eng) We present a proof outline generation system for a simple data-parallel kernel language called L. We show that proof outlines are equivalent to the sound and complete Hoare logic defined for L in previous papers. ...
Bookmark and Share