VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
  • Programming with algebraic effects and handlers
    Bauer, Andrej ; Pretnar, Matija, 1982-
    Eff je programski jezik, osnovan na algebrajskem pristopu k računskim učinkom, v katerem so učinki predstavljeni z algebrajskimi operacijami, prestrezniki učinkov pa s homomorfizmi iz prostih ... algeber. Eff podpira prvorazredne učinke in prestreznike, s katerimi lahko zlahka definiramo nove računske učinke, preprosto sestavljamo obstoječe učinke ter jih prestrezamo na nove načine. V članku predstavimo denotacijsko semantiko Effa in opišemo na njej osnovano prototipno implementacijo. Na primerih prikažemo, kako v Effu obravnavamo obstaječe učinke ter kako uporabljamo programerske tehnike, ki uporabljajo različne oblike omejenih kontinuacij, na primer sestopanje, iskanje v širino, funkcionali izbire ali ko-operativno izvajanje niti.
    Vir: Journal of logical and algebraic methods in programming : Special Issue on Domains X, International workshop on Domain Theory and applications, Swansea, 5-7 September, 2011 (Str. 108-123)
    Vrsta gradiva - prispevek na konferenci ; neleposlovje za odrasle
    Leto - 2015
    Jezik - angleški
    COBISS.SI-ID - 17192025

    Povezava(-e):

    http://dx.doi.org/10.1016/j.jlamp.2014.02.001

Vnos na polico