|
|||||
|
|
Unifying program construction and modification |
|
| Authors: | Frappier, M Mili, A Desharnais, J |
| Affiliation: | A1 Département de mathématiques et d'informatique, Université de Sherbrooke, Sherbrooke, Québec, Canada, J1K 2R1. E-mail: marc.frappier@dmi.usherb.ca A2 Department of Computer Science and Electrical Engineering, West Virginia University, Morgantown, West Virginia, 26506, USA. e-mail: amili@cs.wu.edu A3 Département d'informatique, Université Laval, Ste-Foy, Québec, Canada, G1K 7P4. E-mail: Jules.Desharnais@ift.ulaval.ca |
| Abstract: | |
| Keywords: | Program modification relational specifications refinement lattice. |
| 本文献已被 Oxford 等数据库收录！ | |