prikaz prve stranice dokumenta Oblikovanje strogo tipiziranog programskog jezika
No public access
master's thesis
Oblikovanje strogo tipiziranog programskog jezika
Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2021. urn:nbn:hr:168:298198
Mihalj, Petar
University of Zagreb
Faculty of Electrical Engineering and Computing

Institutional repository: FER Repository

Cite this document

Mihalj, P. (2021). Oblikovanje strogo tipiziranog programskog jezika (Master's thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:298198

Mihalj, Petar. "Oblikovanje strogo tipiziranog programskog jezika." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2021. https://urn.nsk.hr/urn:nbn:hr:168:298198

Mihalj, Petar. "Oblikovanje strogo tipiziranog programskog jezika." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2021. https://urn.nsk.hr/urn:nbn:hr:168:298198

Mihalj, P. (2021). 'Oblikovanje strogo tipiziranog programskog jezika', Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 25 December 2024, https://urn.nsk.hr/urn:nbn:hr:168:298198

Mihalj P. Oblikovanje strogo tipiziranog programskog jezika [Master's thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2021 [cited 2024 December 25] Available at: https://urn.nsk.hr/urn:nbn:hr:168:298198

P. Mihalj, "Oblikovanje strogo tipiziranog programskog jezika", Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2021. Available at: https://urn.nsk.hr/urn:nbn:hr:168:298198

Metadata
TitleOblikovanje strogo tipiziranog programskog jezika
Title (english)Design of a strongly-typed programming language
AuthorPetar Mihalj
MentorAnte Đerek (mentor)
Committee memberAnte Đerek (predsjednik povjerenstva)
Committee memberVlado Sruk (član povjerenstva)
Committee memberLeonardo Jelenković (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Electrical Engineering and Computing
Zagreb
Defense date and country2021-07-02, Croatia
Scientific / art field,
discipline and subdiscipline		TECHNICAL SCIENCES
Computing
Abstract
Cilj ovog diplomskog rada razvoj je novog programskog jezika, kombinirajući poželjna svojstva drugih često korištenih jezika. Definirali smo AGT programski jezik, prevod̄eni, statički i strogo tipiziran jezik sa snažnim sustavom tipova, sposobnim izvesti izračune tijekom prevod̄enja, koji podržava različite oblike statičkog polimorfizma. Razvili smo prevoditelj za AGT u programskom jeziku Python, koristeći LLVM infrastrukturu prevoditelja za pozadinsko prevod̄enje. U radu smo opisali sintaksu i semantiku AGT programskog jezika, a dani su i brojni primjeri efikasnog korištenja AGT-a u čestim programerskim situacijama. završili smo planovima za budući razvoj AGT-a.
Abstract (english)
The goal of this thesis is to develop a new programming language by combining desirable properties of other widely used ones. We have defined the AGT programming language, a compiled, statically and strongly typed language which has a powerful type system, capable of performing compile-time computation and providing different forms of static polymorphism. We have implemented a Python based AGT compiler, which uses LLVM compiler infrastructure as a compiler backend. We describe the AGT programming language syntax and semantics, and also provide numerous examples of effective AGT use in common programming scenarios. The thesis is concluded with plans for the future development of AGT.
Keywords
Keywords (english)
Languageenglish
URN:NBNurn:nbn:hr:168:298198
Study programmeTitle: Computing
Study programme type: university
Study level: graduate
Academic / professional title: magistar/magistra inženjer/inženjerka računarstva (magistar/magistra inženjer/inženjerka računarstva)
Type of resourceText
File originBorn digital
Access conditionsClosed access
Terms of useLicence In copyright icon
Public note
Created on2023-01-13 13:07:19