On Proving Continuity of Programs.

A letter to the editor is presented in which the authors respond to a reader's letter concerning their article "Continuity and Robustness of Programs" from the August 2012 issue which discussed computer programs.

Detalles Bibliográficos
Publicado en:Communications of the ACM Vol. 55; no. 11; p. 9
Autores principales: Chaudhuri, Swarat, Gulwani, Sumit
Formato: Letter
Publicado: Association for Computing Machinery Nov2012
Materias:
Acceso en línea:Ver este registro en EBSCOhost
Descripción
Sumario:A letter to the editor is presented in which the authors respond to a reader's letter concerning their article "Continuity and Robustness of Programs" from the August 2012 issue which discussed computer programs.