Some negative results concerning DPDA's
- 作者Bruno Courcelle
- 卷第18卷
- 期第5期
- 印刷ISSN0020-0190
- 文件大小410.22KB
- 发表时间1984
- DOI10.1016/0020-0190(84)90008-5
- 页码285-289
[IEEE 31st IEEE Software Engineering Workshop (SEW 2007) - Columbia, MD, USA (2007.03.6-2007.02.8)] 31st IEEE Software Engineering Workshop (SEW 2007) - A Refinement Based Framework for Computing Loop BehaviorMili, Ali; Mili, Ali; Mili, Ali; Mili, Ali · 2007
A relational division operator: the conjugate kernelJules Desharnais; Ali Jaoua; Fatma Mili; Noureddine Boudriga; Ali Mili · 1993
Heuristics for constructing while loopsFatma Mili; Ali Mili · 1992
On the mathematics of sequential decompositionsJules Desharnais; Ali Mili; Fatma Mili · 1993
Semantic distance between specificationsRym Mili; Jules Desharnais; Marc Frappier; Ali Mili · 2000
Recoverability preservation: a measure of last resortAli Mili; Frederick Sheldon; Fatma Mili; Jules Desharnais · 2005
Relational heuristics for the design of deterministic programsAli Mili; Jules Desharnais; Fatma Mili · 1987
On the use of executable assertions in structured programsAli Mili; Sihem Guemara; Ali Jaoua; Paul Torrés · 1987