Abstraction facilities and source-level optimizations 
Author Message
 Abstraction facilities and source-level optimizations


I'am looking for references or experience which prove (or disprove)
something in the direction of the following thesis:

Thesis 1:

        In every-day functional programming, the programmers actual
        use the abstraction facilities provided by the paradigm,
        such as abstract data types, problem oriented
        recursion structures, higher-order algorithmic skeletons,
        and so on.

Thesis 2:

        A lot of source-level optimization potential in typical
        functional programs await its exploitation by compilation

Best Regards

Post: Technische Universitaet Berlin, Institut fuer Angewandte Informatik,
      Fachgebiet Uebersetzerbau und Programmiersprachen, Sekr. FR 5-13,
      Franklinstr. 28-29, 10587 Berlin

Sat, 08 Feb 1997 04:01:59 GMT  
 [ 1 post ] 

 Relevant Pages 

1. Information on Verilog levels of abstraction required !!!

2. expert programmers know how to choose the level of abstraction

3. Higher level abstraction on select()

4. Low-level facilities (was Performance Comparison C++/Eiffel)

5. Low-level macro facility

6. Lucid Autoload Facility Source Code

7. Does SwiftForth use Forth-level peephole optimization?

8. Book on low level program optimization

9. g77 optimization levels: beyond -O2?

10. SGI F77 optimization levels and double precision

11. optimization levels for the memory allocator


Powered by phpBB® Forum Software