Abstract
Most programming languages apply an eager expression evaluation strategy. In Scientific Computing this is not sufficient in many cases. In this paper we show the design of an expressive, efficient, context sensitive and extendable expression concept which allows the implementation of arbitrary evaluation strategies. We apply this mechanism to the automatic computation of sharp enclosures of the range of an arithmetical expression using the mean value form. This also involves a new implementation of an automatic differentiation facility using C++ and the expression template technique [14]. We show that our solution is significantly more efficient than traditional approaches.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ANSI/ISO: Working Paper for Draft Proposed International Standard for Information Systems- Programming Language C++,Doc. No. ANSI X3J16/96–0225 ISO WG21/N1043, 1996.
Blitz++ Homepage, http://www.monet.uwaterloo.ca/blitz/
egcs Project Homepage, http://www.egcs.cygnus.corn
Hammer, R. et al.: C++ Toolbox for Verified Computing. Springer, 1995.
Hofschuster, W.; Krämer, W.: A Fast Public Domain Interval Library in ANSI C, in: Sydow, A. (ed.), Proceedings of the 15th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics, Vol. 2, 1997, pp. 395–400.
Klatte, R. et al.: PASCAL-XSC Language Reference with Examples. Springer, 1992.
Kuck Associates, Inc., Homepage http://www.kai.corn
Kulisch, U. and Miranker, W.L.: Computer Arithmetic in Theory and Practice, Academic Press, 1981.
Lerch, M. and Wolff von Gudenberg, J: Expression Templates for Dot Product Expressions, to appear in Reliable Computing 5 (1) (1999).
Myers, N.C.: Traits: a New and Useful Template Technique. C++ Report 7(5) (1995), pp. 32–35.
Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, 1990.
Rall, L.B.: Automatic Differentiation, LNCS 120, Springer, 1981.
Ullrich, Ch.: Scientific Programming Language Concepts, ZAMM 76 S1 (1996), pp. 57–60.
Veldhuizen, T.: Expression Templates, C++ Report 7(5) (1995), pp. 26–31.
Veldhuizen, T. and Ponnambalam, K.: Linear algebra with C++ Template Metaprograms, Dr. Dobb’s Journal of Software Tools 21 (8) (1996), pp. 38–44.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Lerch, M. (1999). Expression Concepts in Scientific Computing. In: Csendes, T. (eds) Developments in Reliable Computing. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1247-7_9
Download citation
DOI: https://doi.org/10.1007/978-94-017-1247-7_9
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5350-3
Online ISBN: 978-94-017-1247-7
eBook Packages: Springer Book Archive