Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 2
Asinhroni algebrajski učinki
Janez Radešček, Matija Pretnar, Danel Ahman
Magistrsko delo
Oznake: asinhrono izvajanje;algebrajski učinki;vzporedno izvajanje;prestrezniki;signali;
V delu si pogledamo programski jezik Æff in $\lambda_æ$-račun, na katerem temelji. Glavna lastnost $\lambda_æ$-računa je možnost asinhronega izvajanja v navezi z vzporednim izvajanjem. To dosežemo tako, da prestreznik naprej izvaja svoje nadaljevanje, medtem ko čaka, da dobi odgovor v obliki učinka ...
Leto: 2021 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Operacijska semantika za jezik s časovno omejenimi viri
Gašper Žajdela, Matija Pretnar, Danel Ahman
Magistrsko delo
Oznake: lamda račun;časovno omejeni viri;modalni tipi;izrek o varnosti;teorija enačb;skladnost;formalizacija;
Lambda račun je eden izmed osnovnih matematičnih modelov računanja, kjer uporabljamo le spremenljivke, funkcije (abstrakcije) in aplikacije funkcij. Lahko ga razširimo s tipi in tako dobimo tipizirani lambda račun, ki je jedro funkcijskih programskih jezikov. Tipi v jeziku zagotavljajo varnost, saj ...
Leto: 2023 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Št. zadetkov: 2
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: