mirage

Parcourir LIP - Laboratoire de l'Informatique du Parallélisme par l'auteur "Audebaud, Philippe"

Système d'archivage DSpace/Manakin

Parcourir LIP - Laboratoire de l'Informatique du Parallélisme par l'auteur "Audebaud, Philippe"

Tri par : Ordre : Résultats :

  • 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 ...
  • Laboratoire de l'informatique du parallélisme; Audebaud, Philippe (1994-09-08)
    (eng) We present a confluent rewriting system wich extends a previous calculus for the Lambda-Calculus (Levy, Hardin) to Parigot's untyped Lambda-Mu-Calculus. This extension embeds the Lambda- Mu-Calculus as a sub-theory, ...

Recherche


Recherche avancée

Parcourir

Mon compte

Bookmark and Share