CDR-CL-LIA.bib

%%%% -*- Mode: BibTeX -*-

%%%% CDR-CL-LIA.bib --

@Misc{1994:ANSICL,
  key =		 {ANSICL},
  title =	 {Information {Technology} –- {Programming} {Language}
                  -– {Common} {Lisp}},
  howpublished = {ANSI Standard X3.226-1994},
  year =	 1994
}

@Misc{1996:ANSIHyperSpec,
  title =	 {The {Common} {Lisp} {Hyperspec}},
  howpublished = {published online at\\
                  \texttt{http://www.lispworks.com/documentation/HyperSpec/Front/index.htm}},
  year =	 1996,
  key =		 {ANSIHyperSpec}
}

@Misc{2001:LIA2,
  key =		 {LIA2},
  title =	 {Information technology -- {Language} independent
                  arithmetic -- {Part} 2: {Elementary} numerical
                  functions ({LIA-2}), {First} edition},
  howpublished = {ISO/IEC Standard 10967-2},
  month =	 {August},
  year =	 2001,
}

@Misc{2004:LIA3,
  key =		 {LIA3},
  title =	 {Information technology -- {Language} independent
                  arithmetic -- {Part} 3: {Complex} integer and
                  floating point arithmetic and complex elementary
                  numerical functions ({LIA-3}), {First} edition
                  draft},
  howpublished = {ISO/IEC Standard 10967-3},
  month =	 {June},
  year =	 2004
}

@Misc{2008:Beane:Quicklisp,
  key =		 {QL},
  author =	 {Zach Beane},
  title =	 {Quicklisp},
  howpublished = {Web site at \texttt{quicklisp.org}},
  year =	 2008,
  note =     {In operation since 2008.}
}

@Misc{2008:IEEE-754,
  key =		 {IEEE-754},
  title =	 {{IEEE} {Standard} for {Floating}-{Point}
                  {Arithmetic}},
  howpublished = {IEEE Standard 754$^{\mathrm{tm}}$-2008},
  year =	 2008,
  author =	 {{IEEE} Computer Society}
}

@Misc{2012:LIA1,
  key =		 {LIA1},
  title =	 {Information technology -- {Language} independent
                  arithmetic -- {Part} 1: {Integer} and floating point
                  arithmetic ({LIA-1}), {Second} edition},
  howpublished = {ISO/IEC Standard 10967-1},
  month =	 {July},
  year =	 2012
}

@Misc{2018:C18,
  key =		 {C18},
  title =	 {Programming {Languages} -- {C}},
  howpublished = {ISO/IEC Standard 9899-2018},
  year =	 2018
}


@Article{hickey:interval:2001,
  author = 	 {Hickey, T. and Ju, Q. and {van Emden}, M. H.},
  title = 	 {Interval {Arithmetic}: {From} {Principles} to
                  {Implementation}},
  journal = 	 {Journal of the ACM},
  year = 	 2001,
  volume = 	 48,
  number = 	 5,
  pages = 	 {1038-1068}}


@InCollection{kulisch:complete:2009,
  author =	 {Ulrich W. Kulisch},
  title =	 {Complete {Interval} {Arithmetic} and {Its}
                  {Implementation} on the {Computer}},
  booktitle =	 {Numerical Validation in Current Hardware
                  Architectures},
  publisher =	 {Springer},
  year =	 2009,
  editor =	 {Cuyt, A. and Kr\"{a}mer, W. and Luther, W. and
                  Markstein, P.},
  volume =	 5492,
  series =	 {Lecture Notes in Computer Science}
}


@InProceedings{revol:introIEEEIA:2017,
  author =	 {Nathalie Revol},
  title =	 {Introduction to the {IEEE} 1788-2015 {Standard for
                  {Interval} {Arithmetic}}},
  booktitle =	 {10th International Workshop on Numerical Software
                  Verification (NSV) 2017; Workshop of CAV 2017},
  year =	 2017,
  editor =	 {Alessandro Abate and Sylvie Boldo},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer}
}

%%%% end of file -- CDR-CL-LIA.bib