Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 2
Behavioural equivalence via modalities for algebraic effects
Alex Simpson, Niels Voorneveld
Objavljeni znanstveni prispevek na konferenci
Oznake: computer science;behavioural equivalence;call-by-value functional language;openness;decomposability;
The paper investigates behavioural equivalence between programs in a call-by-value functional language extended with a signature of (algebraic) effect-triggering operations. Two programs are considered as being behaviourally equivalent if they enjoy the same behavioural properties. To formulate this ...
Leto: 2018 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Equality between programs with effects
Niels Voorneveld, Alex Simpson
Doktorska disertacija
Oznake: mathematics;program equivalence;functional programming;call-by-push-value;behavioural logic;modalities;algebraic effects;applicative bisimilarity;Howe method;complete lattices;
Disertacija preučuje pojem enakovrednosti programov za funkcijski programski jezik z algebrajskimi učinki in splošno rekurzijo, ki uporablja klic po naloženi vrednosti (call-by-push-value oz. na kratko cbpv). Osredotočamo se predvsem na vedenjsko ekvivalenco, pri čemer je obnašanje programa določeno ...
Leto: 2019 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Št. zadetkov: 2
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: