Title :
Implementing and optimising ΓCMC
Author :
Lins, Rafael D. ; Neto, Genésio G Cruz ; Lima, Ricardo F.
Author_Institution :
Comput. Lab., Kent Univ., Canterbury, UK
Abstract :
ΓCMC is an abstract machine for the efficient implementation of lazy functional languages. ΓCMC transfers the control of the execution flow to C, as much as possible, to take advantage of the extremely low costs of procedure calls in modern RISC architectures. This produced a substantial improvement in performance if compared with its predecessors. The paper describes a number of optimisations introduced to our implementation of ΓCMC. Performance figures to a set of benchmark programs quantify the gains obtained
Keywords :
C language; functional languages; functional programming; optimising compilers; ΓCMC; RISC architectures; abstract machine; execution flow control; language compilation; lazy functional languages; optimisations; performance figures; procedure calls; Arithmetic; Assembly; Cost function; Kernel; Laboratories; Printing; Reduced instruction set computing;
Conference_Titel :
EUROMICRO 94. System Architecture and Integration. Proceedings of the 20th EUROMICRO Conference.
Conference_Location :
Liverpool
Print_ISBN :
0-8186-6430-4
DOI :
10.1109/EURMIC.1994.390423
