Please use this identifier to cite or link to this item: https://doi.org/10.1016/S0096-0551(99)00007-7
Title: Optimizing floating point operations in scheme
Authors: Wong, W.F. 
Issue Date: 1999
Source: Wong, W.F. (1999). Optimizing floating point operations in scheme. Computer Languages 25 (2) : 89-112. ScholarBank@NUS Repository. https://doi.org/10.1016/S0096-0551(99)00007-7
Abstract: It is well known that dynamic typing in languages like Lisp is costly in terms of performance. Besides the cost of tag checking, the other major source of inefficiency comes from the need to place and retrieve data from dynamically allocated objects, i.e. boxing and unboxing. This makes it unacceptable in general to write numerical code in Lisp. Such programs involve 'tight' loops in which boxing, unboxing and tag checking will dominate the computation time. With advances in the compilation of Lisp programs, it has been suggested that type checking and inference can be used to alleviate the problem. In this paper we shall examine a sub-problem, namely using type inference to aid compilation of numerical intensive Lisp code. A type inference algorithm for floating point operations will be described. This has been implemented in a Scheme compiler. Implementation issues and performance results on fairly large numerical code will also be reported. The results suggest that significant performance gains can be obtained. It is our hope that as an augmentation to other general type inferencing scheme, it will contribute towards the realization of highly optimizing Scheme compilers.
Source Title: Computer Languages
URI: http://scholarbank.nus.edu.sg/handle/10635/39018
ISSN: 00960551
DOI: 10.1016/S0096-0551(99)00007-7
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

1
checked on Dec 5, 2017

Page view(s)

32
checked on Dec 11, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.