Prilog teoriji funkcionalnih programskih jezika i implementaciji njihovih procesora
A contribution to the theory of functional programming languages and to an implementation of their processors
Doktorand
Budimac, ZoranMentor
Paunić, ĐuraČlanovi komisije
Acketa, DraganPaunić, Đura
Tošić, Živko
Tošić, Dušan
Metapodaci
Prikaz svih podataka o disertacijiSažetak
Analizirani su važniji predstavnici čisto-funkcionalnih programskih jezika i važniji načini njihove implementacije . Na osnovu uočenih osobina, jezici su podeljeni na klase. Definisan je novi medjujezik za implementaciju čisto-funkcionalnih programskih jezika kojim je moguće predstaviti više klasa funkcionalnih programskih jezika nego postojećim medjujezicima. Konstruisani su algoritmi translacije 4 viša funkcionalna jezika u medjujezik i algoritmi prevodjenja medjujezika u mašinske jezike 5 apstraktnih mašina. Diskutovani su neki praktični aspekti implementacije nedjujezika i izvršene analize performansi nekoliko realizovanih prevodilaca.
Important purely functional languages and important ways of their implementation are analyzed. Based on observed characteristics, functional languages are divided into appropriate classes. A new specialized intermediate code for implementation of functional programming languages is defined, which enable a representation of more classes of high-level functional languages than existing intermediate codes. Algorithms for translation of four high-level functional languages into intermediate code are constructed, as well as algorithms for compilation of intermediate code into five abstract machine languages. Performance of several implemented compilers are analyzed.