Program simplification as a means of approximating undecidable propositions
Harman, Mark; Fox, Chris; Hierons, Robert; Binkley, Dave; and Danicic, Sebastian.
1999.
Program simplification as a means of approximating undecidable propositions.
In: UNSPECIFIED, ed.
7th IEEE International Workshop on Program Comprenhesion (IWPC'99).
Los Alamitos, California, USA: IEEE Computer Society Press, pp. 208-217.
[Book Section]
| Item Type | Book Section |
|---|---|
| Departments, Centres and Research Units | Computing |
| Date Deposited | 07 Dec 2015 11:17 |
| Last Modified | 13 Jun 2016 12:33 |