Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 2
Verjetnostna separacijska logika
Janez Ignacij Jereb, Alex Simpson
Diplomsko delo
Oznake: separacijska logika;denotacijska semantika;trovrednostna logika;tipni sistem;verjetnostno programiranje;dokazovanje pravilnosti;računalništvo;matematika;interdisciplinarni študij;univerzitetni študij;diplomske naloge;
To delo obravnava programsko verjetnostno separacijsko logiko in jo razvije z novo semantiko programskega jezika, logičnih formul ter novim pravilom okvirja. Sintaksi programskega jezika so dodani tipi, medtem ko je za semantiko programskega jezika uporabljena monadna denotacijska semantika. Zan ...
Leto: 2025 Vir: Fakulteta za računalništvo in informatiko (UL FRI)
Safety, relative tightness and the probabilistic frame rule
Janez Ignacij Jereb, Alex Simpson
Objavljeni znanstveni prispevek na konferenci
Oznake: logika;semantika;probabilistic separation logic;separation logic;frame rule;partial state;operational semantics;partial correctness;total correctness;reasoning about independence;
Probabilistic separation logic offers an approach to reasoning about imperative probabilistic programs in which a separating conjunction is used as a mechanism for expressing independence properties. Crucial to the effectiveness of the formalism is the frame rule, which enables modular reasoning abo ...
Leto: 2025 Vir: Fakulteta za računalništvo in informatiko (UL FRI)
Št. zadetkov: 2
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: