Libraries versus Languages in the Reusability of Programming1 James M. Neighbors Department of Information and Computer Science University of California, Irvine Irvine, CA[removed]

First Page		Document Content
Date: 2007-08-26 13:52:00 Procedural programming languages Fortran Programming language Component-based software engineering C Library Reuse ALGOL 68 Floating point Software engineering Computing Computer programming		Libraries versus Languages in the Reusability of Programming1 James M. Neighbors Department of Information and Computer Science University of California, Irvine Irvine, CA[removed] Add to Reading List Source URL: www.bayfronttechnologies.com Download Document from Source Website File Size: 25,88 KB Share Document on Facebook

	Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables Alexandre Chapoutot LIP6 - Universit´e Pierre et Marie Curie 4, place Jussieur FParis Cedex 05 France DocID: 1xVDW - View Document
	Formal Correctness of Comparison Algorithms between Binary64 and Decimal64 Floating-point Numbers Arthur Blot ENS Lyon, France NSV, July 22-23, 2017 DocID: 1xVvl - View Document
	Introduction Interval+Error Advanced Gappa Conclusion Automating the Verification of Floating-point Algorithms Guillaume Melquiond Inria Saclay–ˆIle-de-France DocID: 1xV8w - View Document
	Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code — 1st International Workshop on Software Correctness for HPC Applications, Nov 12, 2017, CO, USA DocID: 1xUlS - View Document
	Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2 DocID: 1xUkd - View Document