prikaz prve stranice dokumenta Interpreter za lambda-račun
  Download
PDF 261.18 KB
master's thesis
Interpreter za lambda-račun
Zagreb: University of Zagreb, Faculty of Science, 2018. urn:nbn:hr:217:929434
Lovnički, Sandro
University of Zagreb
Faculty of Science
Department of Mathematics

Institutional repository: Repository of the Faculty of Science

Cite this document

Lovnički, S. (2018). Interpreter za lambda-račun (Master's thesis). Zagreb: University of Zagreb, Faculty of Science. Retrieved from https://urn.nsk.hr/urn:nbn:hr:217:929434

Lovnički, Sandro. "Interpreter za lambda-račun." Master's thesis, University of Zagreb, Faculty of Science, 2018. https://urn.nsk.hr/urn:nbn:hr:217:929434

Lovnički, Sandro. "Interpreter za lambda-račun." Master's thesis, University of Zagreb, Faculty of Science, 2018. https://urn.nsk.hr/urn:nbn:hr:217:929434

Lovnički, S. (2018). 'Interpreter za lambda-račun', Master's thesis, University of Zagreb, Faculty of Science, accessed 23 December 2024, https://urn.nsk.hr/urn:nbn:hr:217:929434

Lovnički S. Interpreter za lambda-račun [Master's thesis]. Zagreb: University of Zagreb, Faculty of Science; 2018 [cited 2024 December 23] Available at: https://urn.nsk.hr/urn:nbn:hr:217:929434

S. Lovnički, "Interpreter za lambda-račun", Master's thesis, University of Zagreb, Faculty of Science, Zagreb, 2018. Available at: https://urn.nsk.hr/urn:nbn:hr:217:929434

Metadata
TitleInterpreter za lambda-račun
Title (croatian)Interpreter za \(\lambda\)-račun
AuthorSandro Lovnički
MentorVedran Čačić (mentor)
Committee memberVedran Čačić (predsjednik povjerenstva)
Committee memberGoranka Nogo (član povjerenstva)
Committee memberZoran Vondraček (član povjerenstva)
Committee memberSonja Štimac (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Science
(Department of Mathematics)
Zagreb
Defense date and country2018-09-20, Croatia
Scientific / art field,
discipline and subdiscipline		NATURAL SCIENCES
Mathematics
Abstract
Ukratko, u ovom radu upoznali smo čitatelja s osnovama \(\lambda\)-računa --- jednog od modela za proučavanje izračunavanja koji je ujedno poslužio i kao temelj teorije funkcijskih programskih jezika. Također, bavimo se numeralima --- reprezentacijama brojeva u \(\lambda\)-računu, postojećim brojevnim sustavima poput Churchovih numerala te binarnim brojevnim sustavom koji smo samostalno definirali. Kako bismo mogli evaluirati velike i komplicirane \(\lambda\)-izraze, stvorili smo i programski jezik pLam --- interpreter za čisti (eng. pure) Lambda račun s kojim možemo raditi interaktivno, a i pisati programe koje možemo spremiti kao tekstualne datoteke s ekstenzijom .plam te kasnije pokretati. U radu nastojimo popratiti svako poglavlje relevantnim primjerima kodova pisanih u jeziku pLam.
Abstract (english)
In this paper, we introduce the reader to basics of \(\lambda\)-calculus — one of the models for studying computation which served as the foundation for the theory of functional programming languages. Furthermore, we deal with numerals — representations of numbers in \(\lambda\)-calculus, existant numeral systems like Church numerals and binary numerals which we defined ourselves. In order to evaluate large and complex \(\lambda\)-expressions, we created a programming language pLam — interpreter for pure Lambda calculus, enabling interactive mode, as well as writting programs, saving them as text files with .plam extension and running them later on. Throughout this paper, in each chapter we try to give relevant code examples written in pLam.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:217:929434
Study programmeTitle: Computer Science and Mathematics
Study programme type: university
Study level: graduate
Academic / professional title: magistar/magistra računarstva i matematike (magistar/magistra računarstva i matematike)
Type of resourceText
File originBorn digital
Access conditionsOpen access
Terms of useLicence In copyright icon
Created on2019-06-04 12:22:08