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: , ed. 7th IEEE International Workshop on Program Comprenhesion (IWPC'99). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 208-217. [Book Section]

No full text available

Item Type:

Book Section

Departments, Centres and Research Units:

Computing

Dates:

DateEvent
May 1999Published

Item ID:

15248

Date Deposited:

07 Dec 2015 11:17

Last Modified:

13 Jun 2016 12:33

URI:

https://research.gold.ac.uk/id/eprint/15248

Edit Record Edit Record (login required)