A modern look at GRIN, an optimizing functional language back end

Podlovics Péter Dávid; Hruska Csaba; Pénzes Andor: A modern look at GRIN, an optimizing functional language back end. In: Acta cybernetica, (25) 4. pp. 847-876. (2022)

Előnézet

Cikk, tanulmány, mű cybernetica_025_numb_004_847-876.pdf Letöltés (781kB) | Előnézet

Absztrakt (kivonat)

GRIN is short for Graph Reduction Intermediate Notation, a modern back end for lazy functional languages. Most of the currently available compilers for such languages share a common flaw: they can only optimize programs on a per-module basis. The GRIN framework allows for interprocedural whole program analysis, enabling optimizing code transformations across functions and modules as well. Some implementations of GRIN already exist, but most of them were developed only for experimentation purposes. Thus, they either compromise on low-level efficiency or contain ad hoc modifications compared to the original specification. Our goal is to provide a full-fledged implementation of GRIN by combining the currently available best technologies like LLVM, and evaluate the framework's effectiveness by measuring how the optimizer improves the performance of certain programs. We also present some improvements to the already existing components of the framework. Some of these improvements include a typed representation for the intermediate language and an interprocedural program optimization, the dead data elimination.

Mű típusa:	Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe:	Acta cybernetica
Dátum:	2022
Kötet:	25
Szám:	4
ISSN:	2676-993X
Oldalak:	pp. 847-876
Nyelv:	angol
Kiadó:	University of Szeged, Institute of Informatics
Kiadás helye:	Szeged
Befoglaló mű URL:	https://acta.bibl.u-szeged.hu/86901/
DOI:	10.14232/actacyb.282969
Kulcsszavak:	Programozás, Programozási nyelv, GRIN
Megjegyzések:	Bibliogr.: p. 873-876. ; ill. ; összefoglalás angol nyelven
Szakterület:	01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma:	2025. ápr. 15. 11:49
Utolsó módosítás:	2025. ápr. 15. 11:49
URI:	http://acta.bibl.u-szeged.hu/id/eprint/86957

Bővebben:

Tétel nézet