Akademska digitalna zbirka SLovenije - logo
VSE knjižnice (vzajemna bibliografsko-kataložna baza podatkov COBIB.SI)
  • Inferring algebraic effects [Elektronski vir]
    Pretnar, Matija, 1982-
    V članku predstavimo poln algoritem za polimorfno izpeljavo učinkov v programskem jeziku iz družine ML, ki poleg prestrezanja izjem omogoča tudi prestrezanje drugih algebrajskih učinkov, kot so ... interaktivni vhod in izhod ali delo s pomnilnikom. Cilj algoritma je programerju nuditi jasen vpogled v učinke, ki jih sprožajo programi. Prestrezniki k temu pripomorejo s tem, da omejijo možne učinke in posledično tudi izpis, ki je v obstoječih natančnih sistemih učinkov pogosto nepregleden. Poleg algoritma v članku predstavimo tudi nabor metod za nadaljnje poenostavljanje prikazanih tipov, od katerih nekatere zaradi preglednosti programerjem namenoma prikrijejo del izpeljanih podatkov.
    Vir: Logical methods in computer science [Elektronski vir]. - ISSN 1860-5974 (Vol. 10, iss. 3, 2014, Paper 21 (str. 1-43))
    Vrsta gradiva - e-članek
    Leto - 2014
    Jezik - angleški
    COBISS.SI-ID - 17190745

    Povezava(-e):

    http://arxiv.org/pdf/1312.2334

    Prost dostop do polnega teksta



Vnos na polico