Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Program simplification as a means of approximating undecidable propositions

Harman, Mark and Fox, Chris and Hierons, Rob Mark and Binkley, David Wendell and Danicic, Sebastian (1999) Program simplification as a means of approximating undecidable propositions. In: 7<sup>th</sup> IEEE International Workshop on Program Comprenhesion (IWPC'99).

Full text not available from this repository.


Item Type:Conference or Workshop Item (UNSPECIFIED)
Subjects:UNSPECIFIED
ID Code:442
Deposited By:Prof Mark Harman
Deposited On:01 Nov 2007 17:15
Last Modified:01 Nov 2007 20:11

Repository Staff Only: item control page