5 research outputs found
MetaFJig
- Author
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full textEssential language support for generic programming
- Author
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full textA comparative study of language support for generic programming
- Author
- Andrew Lumsdaine
- Austern M. H.
- Backhouse R.
- Bruce K. B.
- Hejlsberg A.
- Hinze R.
- International Standardization Organization (ISO). ANSI/ISO Standard 14882 Programming Language C++.
- Jaakko Jarvi
- Jazayeri M.
- Jeremiah Willcock
- Jeremy G. Siek
- Jones S. P.
- Jones S. P.
- Josuttis N. M.
- Magnusson B.
- McNamara B.
- Ronald Garcia
- Siek J.
- Siek J.
- Stroustrup B.
- Veldhuizen T. L.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full textA new math library
- Author
- Abbott
- Akutin
- ANSI/IEEE
- Baker
- Beebe
- Beebe
- Beebe
- Beebe
- Blum
- Campbell-Kelly
- Chan
- Chan
- Chan
- Clinger
- Clinger
- Cody
- Coe
- Coe
- Collins
- Collins
- Coonen
- Cowlishaw
- Cowlishaw
- Cowlishaw
- Cowlishaw
- Cowlishaw
- Cowlishaw
- Cuyt
- de Dinechin
- Draft International Standard ISO/IEC 1539-1:2004(E)
- Duale
- Edelman
- Ellis
- Fox
- Fraser
- Garland
- Gil
- Goldberg
- Goldberg
- Goldberg
- Gosling
- Halfhill
- Hanrot
- Harris
- Hart
- Hastings
- Hejlsberg
- Hejlsberg
- Hennessy
- Huang
- IBM Corporation Poughkeepsie, NY
- ISO
- ISO. ISO/IEC 10967-2
- ISO. ISO/IEC 10967-3
- ISO/IEC 14882:1998
- ISO/IEC 14882:2003
- ISO/IEC 1539-1:1997
- ISO/IEC 1989:2002
- ISO/IEC 23270:2003
- ISO/IEC 23271:2003
- ISO/IEC 8652:1995
- ISO/IEC 9899:1990
- ISO/IEC 9899:1999
- ISO/IEC TR 23272
- Jagger
- Jensen
- Kahan
- Kahan
- Kahan
- Karpinski
- Knuth
- Knuth
- Knuth
- Knuth
- Knuth
- Knuth
- Knuth
- Knuth
- Knuth
- Knuth
- Knuth
- Knuth
- Knuth
- Knuth
- Knuth
- Knuth
- Koenig
- Koren
- Lefèvre
- Lefèvre
- Lefèvre
- Lefèvre
- Lindholm
- Lindholm
- Lindholm
- Liu
- Luke
- Maciol
- Markstein
- Matula
- Matula
- Moshier
- Muller
- Muller
- Omondi
- Overton
- Parhami
- Patterson
- Payne
- Payne
- Plauger
- Pratt
- Price
- Schildt
- Schildt
- Sewell
- Sharangpani
- Smith
- Smith
- Steele
- Steele
- Stehlé
- Stehlé
- Sterbenz
- Supnik
- Swartzlander
- Swartzlander
- Swartzlander
- Sweeney
- Thompson
- Thompson
- Trong
- Verdonk
- Verdonk
- Wall
- Webb
- Zhang
- Ziv
- Ziv
- Publication venue
- 'Wiley'
- Publication date
- Field of study
No full textA Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
- Author
- Aho A. V.
- Bagnara R.
- Bagnara R.
- Barr E. T.
- Belaid M. S.
- Benhamou F.
- Borges M.
- Botella B.
- Brain Martin
- Burdy L.
- Cadar C.
- Coen-Porisini A.
- Cousot P.
- Cousot P.
- Darulova E.
- Darulova E.
- Daumas M.
- Denmat T.
- Franco A. Di
- Fu Z.
- Godefroid P.
- Godefroid P.
- Gotlieb A.
- Gotlieb A.
- Goubault E.
- Goubault E.
- Harrison J.
- Hentenryck P. Van
- Hills Green
- Hills Green
- IEEE Computer Society
- IEEE Computer Society and The Open Group. 2013.
- International Organization for Standardization. 2011. ISO/IEC 9899:2011
- International Organization for Standardization. 2014. ISO/IEC 14882:2014(E)
- Lakhotia K.
- Lakhotia K.
- Lee W.
- Liew D.
- Magron V.
- Michel C.
- Miné A.
- Monniaux D.
- Moscato M.
- Muller J.-M.
- Semiconductor Fujitsu
- Sen K.
- Solovyev A.
- Stephens N.
- Wu X.
- Wu X.
- Young W. D.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full text
