41. Vgradnja objektno usmerjenih gradnikov v programski jezik PINSToni Kocjan Turk, 2018, bachelor thesis/paper Keywords: prevajalnik, programski jezik, sintaksa, semantika, Java, Swift, Atheris Full text (file, 1,07 MB) |
|
|
|
|
46. Tehnike dodatkov standardnih SAP programovMETA MATJAŽ, 2019, bachelor thesis/paper Keywords: SAP, programski jezik ABAP, tehnike dodatkov SAP programov, uporabniški izhod, izhod stranke, funkcije BTE, BADIji, ogrodje dodatkov. Full text (file, 891,20 KB) |
|
48. Denotacijska semantika PCFKristjan Kostelec, 2020, final seminar paper Keywords: programski jezik PCF, operacijska semantika, denotacijska semantika, domene, substitucijska lema, izrek o usklajenosti semantike, izrek o ustreznosti semantike, izrek o primernosti semantike Full text (file, 564,75 KB) |
|
|