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
Докторанд
Budimac, ZoranМентор
Paunić, ĐuraЧланови комисије
Acketa, DraganPaunić, Đura
Tošić, Živko
Tošić, Dušan
Метаподаци
Приказ свих података о дисертацијиСажетак
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.