Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Generic programming and high-performance libraries
Gregor D., Järvi J., Kulkarni M., Lumsdaine A., Musser D., Schupp S. International Journal of Parallel Programming33 (2):145-164,2005.Type:Article
Date Reviewed: Jul 6 2007

It isn’t clear how this paper relates to the journal in which it appears. Parallel programming does not appear in this 20-page paper before page 16, where it is discussed for a little over a page. Moreover, the abstract does not even mention it. Thus, it is not easy to understand the purpose of this paper.

A short section about genericity in programming languages introduces the term “concept” for denoting a set of requirements on a type. The next section, which considers syntactic concepts, occupies more than one-third of the paper. However, it is not clear whether this section describes existing ways of expressing genericity or suggests innovations.

The next section, which is slightly shorter, deals with semantic concepts and performance requirements. It presents a static checker for C++ programs and an optimizer that relies on rewrite rules based on the concepts. A subsection deals with proving the correctness of generic algorithms, and suggests the use of the Athena language.

The final section and the conclusion suggest the usefulness of developing a new programming language unifying the notions of syntactic, semantic, and performance requirements into a single, coherent syntax. The sources in the bibliography are ordered according to their place in the text, which makes it difficult to use.

Reviewer:  O. Lecarme Review #: CR134511
Bookmark and Share
  Featured Reviewer  
 
Software Libraries (D.2.2 ... )
 
 
Reusable Libraries (D.2.13 ... )
 
 
Processors (D.3.4 )
 
 
Reusable Software (D.2.13 )
 
 
Software/ Program Verification (D.2.4 )
 
Would you recommend this review?
yes
no
Other reviews under "Software Libraries": Date
Mixed language programming
Einarsson B., Gentleman W. Software--Practice & Experience 14(4): 383-392, 1984. Type: Article
May 1 1985
Programming solutions handbook for IBM microcomputers
Sanchez J., Canton M., McGraw-Hill, Inc., New York, NY, 1991. Type: Book (9780070545977)
Sep 1 1992
Design of an Ada library of elementary functions with error handling
Corliss G. Journal of Pascal, Ada & Modula-2 6(3): 17-31, 1987. Type: Article
Jul 1 1988
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy