3 citations · 4 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
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…
cs.LO2016★ 1 cited
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,…