Programming Without Refining von Benabdelali, Marwa, Labed Jilani, Lamia, Ghardallou, Wided, Mili, Ali

Volltext

Program Repair by Stepwise Correctness Enhancement von Diallo, Nafi, Ghardallou, Wided, Mili, Ali

Volltext

Program Derivation by Correctness Enhacements von Diallo, Nafi, Ghardallou, Wided, Desharnais, Jules, Mili, Ali

Volltext

On the persistent rumors of the programmer’s imminent demise von Mohammadi, Hessam, Ghardallou, Wided, Brick, Elijah, Mili, Ali

Volltext

Invariant relations for affine loops von Ghardallou, Wided, Mohammadi, Hessamaldin, Linger, Richard C., Pleszkoch, Mark, Loh, JiMeng, Mili, Ali

Volltext

Projecting programs on specifications: Definition and implications von Desharnais, Jules, Diallo, Nafi, Ghardallou, Wided, Mili, Ali

Volltext

Convergence: Integrating termination and abort-freedom von Diallo, Nafi, Ghardallou, Wided, Desharnais, Jules, Mili, Ali

Volltext

Using invariant relations in the termination analysis of while loops von Ghardallou, W.

Volltext

What is a fault? and why does it matter? von Diallo, Nafi, Ghardallou, Wided, Desharnais, Jules, Frias, Marcelo, Jaoua, Ali, Mili, Ali

Volltext

Invariant functions and invariant relations: An alternative to invariant assertions von Jilani, Lamia Labed, Mraihi, Olfa, Louhichi, Asma, Ghardallou, Wided, Bsaies, Khaled, Mili, Ali

Volltext

Invariant Relations: A Bridge from Programs to Equations von Ghardallou, Wided, Mohammadi, Hessamaldin, Brick, Elijah, Mili, Ali

Volltext bestellen

Relational Mathematics for Relative Correctness von Desharnais, Jules, Diallo, Nafi, Ghardallou, Wided, Frias, Marcelo F., Jaoua, Ali, Mili, Ali

Volltext

Using invariant functions and invariant relations to compute loop functions von Labed Jilani, Lamia, Mraihi, Olfa, Louhichi, Asma, Ghardallou, Wided, Mili, Ali

Volltext

Program Repair by Stepwise Correctness Enhancement von Diallo, Nafi, Ghardallou, Wided, Mili, Ali

Volltext

Computing Preconditions and Postconditions of While Loops von Mraihi, Olfa, Ghardallou, Wided, Louhichi, Asma, Labed Jilani, Lamia, Bsaies, Khaled, Mili, Ali

Volltext

Programming Without Refining von Benabdelali, Marwa, Lamia Labed Jilani, Ghardallou, Wided, Mili, Ali

Volltext

Program Derivation by Correctness Enhacements von Diallo, Nafi, Ghardallou, Wided, Desharnais, Jules, Mili, Ali

Volltext

A versatile concept for the analysis of loops von Ghardallou, Wided, Mraihi, Olfa, Louhichi, Asma, Jilani, Lamia Labed, Bsaies, Khaled, Mili, Ali

Volltext