Sirvi Autor "Mammadli, Gulnar" järgi

Tulemuste filtreerimiseks trükkige paar esimest tähte
Nüüd näidatakse 1 - 1 1
  • Pisipilt
    listelement.badge.dso-type Kirje ,
    Compiling GitHub Actions Into Datalog
    (Tartu Ülikool, 2024) Mammadli, Gulnar; Carneiro Alves de Lima, Bruno Rucy, juhendaja; Tartu Ülikool. Loodus- ja täppisteaduste valdkond; Tartu Ülikool. Arvutiteaduse instituut
    Datalog on deklaratiivne programmeerimiskeel, mis defineerib seoseid reeglite ja faktidega. Selle artikliga püüame hinnata selle kasutamist alternatiivse süntaksina, et kirjutada pidevintegratsioon konveier GitHub Actions’i platvormi kaudu. Need konveierid on kirjutatud YAML-is ja tähistavad sõltuvusahelaid. Meie peamine panus on süntaksi katsetus, mis on lähedasem kirjeldatavale semantikale, potentsiaalselt lahendades levinumaid probleemid, mida arendajad nende failidega töötamisel kogevad.