41. Vgradnja objektno usmerjenih gradnikov v programski jezik PINSToni Kocjan Turk, 2018, diplomsko delo/naloga Ključne besede: prevajalnik, programski jezik, sintaksa, semantika, Java, Swift, Atheris Celotno besedilo (datoteka, 1,07 MB) |
|
|
|
|
46. Tehnike dodatkov standardnih SAP programovMETA MATJAŽ, 2019, diplomsko delo/naloga Ključne besede: SAP, programski jezik ABAP, tehnike dodatkov SAP programov, uporabniški izhod, izhod stranke, funkcije BTE, BADIji, ogrodje dodatkov. Celotno besedilo (datoteka, 891,20 KB) |
|
48. Denotacijska semantika PCFKristjan Kostelec, 2020, delo diplomskega seminarja/zaključno seminarsko delo/naloga Ključne besede: programski jezik PCF, operacijska semantika, denotacijska semantika, domene, substitucijska lema, izrek o usklajenosti semantike, izrek o ustreznosti semantike, izrek o primernosti semantike Celotno besedilo (datoteka, 564,75 KB) |
|
|