Doktorska disertacija opisuje raziskovalno delo na področju semantičnega sklepanja, ki je razširitev sklepanja o gramatikah. Glavna naloga sklepanja o gramatikah je zapisati sintaktično strukturo (gramatiko) iz podanih pozitivnih primerov programa, katerim lahko dodamo še negativne primere. Vendar nas sklepanje o gramatikah privede le do ustrezne sintaktične strukture programskega jezika. Toda kadar imajo sintaktično pravilni programi še dodatne omejitve sklepanje o gramatiki ne zadošča in potrebna je razširitev - sklepanje o semantiki, ki nas popelje v semantiko programskega jezika. V doktorski nalogi pokažemo, da je s pomočjo semantičnega sklepanja možno avtomatsko generirati prevajalnik/interpreter za manjše domensko specifične jezike samo na podlagi podanih programov in njihovih pomenov. V ta namen smo razvili orodje LISA.SI kot nadgradnjo generatorja prevajalnikov/interpreterjev LISA z uporabo evolucijskega računanja, ki uspešno preišče ogromen preiskovalni prostor vseh možnih rešitev semantičnega sklepanja. Pri tem smo uspešno pridobili raznovrstne atributne gramatike. Z uporabo genetskega programiranja smo uspešno sklepali na atributne gramatike vrste S in L. Medtem ko je za sklepanje absolutno necikličnih atributnih gramatik (ANC-AG), ki imajo kompleksne odvisnosti med atributi, bila potrebna integracija memetskih algoritmov v orodje LISA.SI.

Pravice

URN

URN:NBN:SI:DOC-RG5DOY9E

Objavljeno

07.08.2023

COBISSID

99642627

Metapodatki

Citiranje

APA:

Kovačević, Željko, Črepinšek, Matej (2022). Automatic compiler/interpreter generation from programs for domain-specific languages using semantic inference. URN:NBN:SI:DOC-RG5DOY9E from http://www.dlib.si

MLA:

Kovačević, Željko, Črepinšek, Matej. Automatic compiler/interpreter generation from programs for domain-specific languages using semantic inference. Kovačević Ž., 2022.
<http://www.dlib.si/?URN=URN:NBN:SI:DOC-RG5DOY9E>