STACKing Up Undefined Behaviors.

An introduction to the research paper titled "A Differential Approach to Undefined Behavior Detection" by Xi Wang, Nickolai Zerdovich, M. Frans Kaashoek, and Armando Solar-Lezama is presented.

Detalles Bibliográficos
Publicado en:Communications of the ACM Vol. 59; no. 3; p. 98
Autor principal: Regehr, John
Formato: Artículo
Publicado: Association for Computing Machinery Mar2016
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=113448843&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 113448843
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        00010782
        ACM
      jtl: Communications of the ACM
      issn: 00010782
      maglogo: N
    pubinfo:
      dt: Mar2016
      vid: 59
      iid: 3
      pid: 68
      pub: Association for Computing Machinery
    artinfo:
      ui:
        113448843
        10.1145/2885254
      ppf: 98
      ppct: 0
      formats:
      tig:
        atl: STACKing Up Undefined Behaviors.
      aug:
        au: Regehr, John
        affil: Professor in the School of Computing at the University of Utah, Salt Lake City.
      su:
        Computer systems
        Computer programming
      sug:
        subj:
          Computer systems
          Computer programming
      ab: An introduction to the research paper titled "A Differential Approach to Undefined Behavior Detection" by Xi Wang, Nickolai Zerdovich, M. Frans Kaashoek, and Armando Solar-Lezama is presented.
      pubtype: Periodical
      doctype: Article
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      dt:
        @attributes:
          year: 2016
    holdings:
      @attributes:
        islocal: N