New book and paper on computer arithmetic

["Nelson H. F. Beebe" <beebe@xxxxxxxxxxxxx>]

These new publications may be of interest to list readers:

@String{j-TOPLAS                = "ACM Transactions on Programming
                                  Languages and Systems"}

@Article{Monniaux:2008:PVF,
  author =       "David Monniaux",
  title =        "The pitfalls of verifying floating-point
                 computations",
  journal =      j-TOPLAS,
  volume =       "30",
  number =       "3",
  pages =        "12:1--12:41",
  month =        may,
  year =         "2008",
  CODEN =        "ATPSDT",
  DOI =          "http://doi.acm.org/10.1145/1353445.1353446";,
  ISSN =         "0164-0925",
  bibdate =      "Wed Jun 11 19:14:53 MDT 2008",
  bibsource =    "http://www.acm.org/pubs/contents/journals/toplas/";,
  abstract =     "Current critical systems often use a lot of
                 floating-point computations, and thus the testing or
                 static analysis of programs containing floating-point
                 operators has become a priority. However, correctly
                 defining the semantics of common implementations of
                 floating-point is tricky, because semantics may change
                 according to many factors beyond source-code level,
                 such as choices made by compilers. We here give
                 concrete examples of problems that can appear and
                 solutions for implementing in analysis software.",
  acknowledgement = ack-nhfb,
  articleno =    "12",
}

@String{pub-GRUYTER             = "Walter de Gruyter"}
@String{pub-GRUYTER:adr         = "Berlin, Germany"}

@Book{Kulisch:2008:CAV,
  author =       "Ulrich Kulisch",
  title =        "Computer Arithmetic and Validity --- Theory,
                 Implementation, and Applications",
  number =       "33",
  publisher =    pub-GRUYTER,
  address =      pub-GRUYTER:adr,
  pages =        "410 (est.)",
  year =         "2008",
  ISBN =         "3-11-020318-9 (hardcover)",
  ISBN-13 =      "978-3-11-020318-9 (hardcover)",
  ISSN =         "0179-0986",
  LCCN =         "????",
  bibdate =      "Wed Jun 11 14:53:52 2008",
  price =        "US\$108.00",
  series =       "De Gruyter Studies in Mathematics",
  acknowledgement = ack-nhfb,
}

-------------------------------------------------------------------------------
- Nelson H. F. Beebe                    Tel: +1 801 581 5254                  -
- University of Utah                    FAX: +1 801 581 4148                  -
- Department of Mathematics, 110 LCB    Internet e-mail: beebe@xxxxxxxxxxxxx  -
- 155 S 1400 E RM 233                       beebe@xxxxxxx  beebe@xxxxxxxxxxxx -
- Salt Lake City, UT 84112-0090, USA    URL: http://www.math.utah.edu/~beebe/ -
-------------------------------------------------------------------------------