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.

Bibliographic Details
Published in:Communications of the ACM Vol. 55; no. 11; p. 9
Main Authors: Chaudhuri, Swarat, Gulwani, Sumit
Format: Letter
Published: Association for Computing Machinery Nov2012
Subjects:
Online Access:View this record in EBSCOhost