| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava

Izpis gradiva

Naslov:Automatic compiler/interpreter generation from programs for domain-specific languages using semantic inference : doktorska disertacija
Avtorji:ID Kovačević, Željko (Avtor)
ID Črepinšek, Matej (Mentor) Več o mentorju... Novo okno
Datoteke:.pdf DOK_Kovacevic_Zeljko_2022.pdf (3,59 MB)
MD5: CF7FE94C45F67F0579E7EC70DC7BD107
PID: 20.500.12556/dkum/74e40d99-7d8d-4b93-8b3e-715616a990ee
 
Jezik:Angleški jezik
Vrsta gradiva:Doktorsko delo/naloga (mb31)
Tipologija:2.08 - Doktorska disertacija
Organizacija:FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
Opis:Presented doctoral dissertation describes a research work on Semantic Inference, which can be regarded as an extension of Grammar Inference. The main task of Grammar Inference is to induce a grammatical structure from a set of positive samples (programs), which can sometimes also be accompanied by a set of negative samples. Successfully applying Grammar Inference can result only in identifying the correct syntax of a language. But, when valid syntactical structures are additionally constrained with context-sensitive information the Grammar Inference needs to be extended to the Semantic Inference. With the Semantic Inference a further step is realised, namely, towards inducing language semantics. In this doctoral dissertation it is shown that a complete compiler/interpreter for small Domain-Specific Languages (DSLs) can be generated automatically solely from given programs and their associated meanings using Semantic Inference. For the purpose of this research work the tool LISA.SI has been developed on the top of the compiler/interpreter generator tool LISA that uses Evolutionary Computations to explore and exploit the enormous search space that appears in Semantic Inference. A wide class of Attribute Grammars has been learned. Using Genetic Programming approach S-attributed and L-attributed have been inferred successfully, while inferring Absolutely Non-Circular Attribute Grammars (ANC-AG) with complex dependencies among attributes has been achieved by integrating a Memetic Algorithm (MA) into the LISA.SI tool.
Ključne besede:Grammatical Inference, Semantic Inference, Genetic Programming, Attribute Grammars, Memetic Algorithm, Domain-Specific Languages
Leto izida:2022
Kraj izvedbe:Maribor
Založnik:Kovačević Ž.
Št. strani:XXVI, 132 f.
Izvor:Maribor
PID:20.500.12556/DKUM-80763 Novo okno
UDK:004.432.26:[004.434:004.8](043.3)
COBISS.SI-ID:99642627 Novo okno
Datum objave v DKUM:17.02.2022
Število ogledov:558
Število prenosov:88
Metapodatki:XML RDF-CHPDL DC-XML DC-RDF
Področja:KTFMB - FERI
:
Kopiraj citat
  
Skupna ocena:(0 glasov)
Vaša ocena:Ocenjevanje je dovoljeno samo prijavljenim uporabnikom.
Objavi na:AddThis
AddThis uporablja piškotke, za katere potrebujemo vaše privoljenje.
Uredi privoljenje...

Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše podrobnosti ali sproži prenos.

Licence

Licenca:CC BY-ND 4.0, Creative Commons Priznanje avtorstva-Brez predelav 4.0 Mednarodna
Povezava:http://creativecommons.org/licenses/by-nd/4.0/deed.sl
Opis:Licenca Creative Commons Brez predelav dovoljuje uporabnikom ponovno distribucijo dela, vendar ne v spremenjeni obliki. Zahtevana je navedba avtorstva.
Začetek licenciranja:09.10.2021

Sekundarni jezik

Jezik:Slovenski jezik
Naslov:Avtomatsko generiranje prevajalnika/interpreterja iz programov za domensko-specifične jezike z uporabo semantičnega sklepanja
Opis: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.
Ključne besede:Sklepanje o gramatikah, Semantično sklepanje, Genetsko programiranje, Atributne gramatike, Memetski algoritem, Domensko specifični jeziki


Komentarji

Dodaj komentar

Za komentiranje se morate prijaviti.

Komentarji (0)
0 - 0 / 0
 
Ni komentarjev!

Nazaj
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici