31 citations · 32 across the 3 of their papers we have counts for
3 papers · 1 filter
Program Derivation by Correctness Enhacements
Nafi Diallo, Wided Ghardallou, Jules Desharnais +1
Relative correctness is the property of a program to be more-correct than another program with respect to a given specification. Among the many properties of relative correctness,…
Algebraic Notions of Termination
Desharnais Jules, Bernhard Moeller, Struth Georg
Five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or Noetherity, Löb's formula, absence of infinite iteration, absence of divergence and…
Kleene algebra with domain
J. Desharnais, B. Möller, G. Struth
We propose Kleene algebra with domain (KAD), an extension of Kleene algebra with two equational axioms for a domain and a codomain operation, respectively. KAD considerably augment…