| | SLO | ENG | Cookies and privacy

Bigger font | Smaller font

Show document Help

Title:Automatic compiler/interpreter generation from programs for domain-specific languages using semantic inference : doktorska disertacija
Authors:ID Kovačević, Željko (Author)
ID Črepinšek, Matej (Mentor) More about this mentor... New window
Files:.pdf DOK_Kovacevic_Zeljko_2022.pdf (3,59 MB)
MD5: CF7FE94C45F67F0579E7EC70DC7BD107
PID: 20.500.12556/dkum/74e40d99-7d8d-4b93-8b3e-715616a990ee
 
Language:English
Work type:Doctoral dissertation
Typology:2.08 - Doctoral Dissertation
Organization:FERI - Faculty of Electrical Engineering and Computer Science
Abstract: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.
Keywords:Grammatical Inference, Semantic Inference, Genetic Programming, Attribute Grammars, Memetic Algorithm, Domain-Specific Languages
Place of publishing:Maribor
Place of performance:Maribor
Publisher:Kovačević Ž.
Year of publishing:2022
Number of pages:XXVI, 132 f.
PID:20.500.12556/DKUM-80763 New window
UDC:004.432.26:[004.434:004.8](043.3)
COBISS.SI-ID:99642627 New window
Publication date in DKUM:17.02.2022
Views:1035
Downloads:113
Metadata:XML RDF-CHPDL DC-XML DC-RDF
Categories:KTFMB - FERI
:
Copy citation
  
Average score:(0 votes)
Your score:Voting is allowed only for logged in users.
Share:Bookmark and Share


Hover the mouse pointer over a document title to show the abstract or click on the title to get all document metadata.

Licences

License:CC BY-ND 4.0, Creative Commons Attribution-NoDerivatives 4.0 International
Link:http://creativecommons.org/licenses/by-nd/4.0/
Description:Under the NoDerivatives Creative Commons license one can take a work released under this license and re-distribute it, but it cannot be shared with others in adapted form, and credit must be provided to the author.
Licensing start date:09.10.2021

Secondary language

Language:Slovenian
Title:Avtomatsko generiranje prevajalnika/interpreterja iz programov za domensko-specifične jezike z uporabo semantičnega sklepanja
Abstract: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.
Keywords:Sklepanje o gramatikah, Semantično sklepanje, Genetsko programiranje, Atributne gramatike, Memetski algoritem, Domensko specifični jeziki


Comments

Leave comment

You must log in to leave a comment.

Comments (0)
0 - 0 / 0
 
There are no comments!

Back
Logos of partners University of Maribor University of Ljubljana University of Primorska University of Nova Gorica