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
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=83385730&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 83385730
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        00010782
        ACM
      jtl: Communications of the ACM
      issn: 00010782
      maglogo: N
    pubinfo:
      dt: Nov2012
      vid: 55
      iid: 11
      pid: 68
      pub: Association for Computing Machinery
    artinfo:
      ui: 83385730
      ppf: 9
      ppct: 0
      formats:
      tig:
        atl: On Proving Continuity of Programs.
      aug:
        au:
          Chaudhuri, Swarat
          Gulwani, Sumit
      su:
        Letters to the editor
        Computer software
      sug:
        subj:
          Letters to the editor
          Computer software
      ab: 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.
      pubtype: Periodical
      doctype: Letter
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      dt:
        @attributes:
          year: 2012
    holdings:
      @attributes:
        islocal: N