3 citations · 4 across the 4 of their papers we have counts for
4 papers
Invariant Relations: A Bridge from Programs to Equations
Wided Ghardallou, Hessamaldin Mohammadi, Elijah Brick +1
Great advances in program analysis would be enabled if it were possible to derive the function of a program from inputs to outputs (or from initial states to final states, dependin…
Programming Without Refining
Marwa Benabdelali, Lamia Labed Jilani, Wided Ghardallou +1
To derive a program for a given specification R means to find an artifact P that satisfies two conditions: P is executable in some programming language; and P is correct with respe…
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,…
Program Repair by Stepwise Correctness Enhancement
Nafi Diallo, Wided Ghardallou, Ali Mili
Relative correctness is the property of a program to be more-correct than another with respect to a given specification. Whereas the traditional definition of (absolute) correctnes…