search query: @keyword kääntäminen / total: 4
reference: 4 / 4
« previous | next »
Author: | Mäkelä, Marko |
Title: | Implementing the Front-End of an SDL Compiler |
SDL-kääntäjän etupään toteutus | |
Publication type: | Master's thesis |
Publication year: | 1998 |
Pages: | vii + 71 Language: eng |
Department/School: | Tietotekniikan osasto |
Main subject: | Digitaalitekniikka (Tik-79) |
Supervisor: | Ojala, Leo |
Instructor: | Husberg, Nisse |
OEVS: | Electronic archive copy is available via Aalto Thesis Database.
Instructions Reading digital theses in the closed network of the Aalto University Harald Herlin Learning CentreIn the closed network of Learning Centre you can read digital and digitized theses not available in the open network. The Learning Centre contact details and opening hours: https://learningcentre.aalto.fi/en/harald-herlin-learning-centre/ You can read theses on the Learning Centre customer computers, which are available on all floors.
Logging on to the customer computers
Opening a thesis
Reading the thesis
Printing the thesis
|
Location: | P1 Ark T80 | Archive |
Keywords: | lexical analysis parsing syntax tree semantic analysis compiling SDL formal methods reachability analysis SDL leksikaalinen analyysi jäsentäminen syntaksipuu semanttinen analyysi kääntäminen formaalit menetelmät saavutettavuusanalyysi |
Abstract (fin): | Laajoissa hajautetuissa järjestelmissä esiintyviä virheitä on käytännössä mahdotonta löytää yksinkertaisen päättelemisen tai testaamisen avulla, ja virheillä voi olla odottamattoman kalliita seurauksia. Hankalimmatkin virheet paljastavien formaalien menetelmien käyttäminen on perinteisesti edellyttänyt tarkasteltavan järjestelmän mallintamista käsin. Monia järjestelmiä ei ole verifioitu, koska mallin tekemistä on pidetty liian työläänä. Kääntäjät mullistivat tietojenkäsittelyn mahdollistamalla korkean tason ohjelmointikielet. Nyt kääntäjien tarkoituksenmukainen soveltaminen lisää formaalien menetelmien käytettävyyttä. Tämä työ kuvaa SDL-kääntäjän etupäätä, joka jäsentää ja tallentaa syntaksipuuhun SDL-kielisiä spesifikaatioita sekä suorittaa semanttisia tarkistuksia. Jäsennin toteuttaa makroja lukuun ottamatta koko SDL-kieliopin vuodelta 1996. Kieliopin saattaminen jäsennintyökalun edellyttämään LALR(1)-muotoon vaati lukuisia muutoksia kielioppiin ja selaimeen. Työssä kiinnitettiin erityistä huomiota virheiden sietämiseen, virheistä toipumiseen sekä virheilmoitusten havainnollisuuteen. Valmistuttuaan kääntäjä muuntaa SDL-ohjelmia korkean tason Petri-verkkomalleiksi, joita voidaan verifioida formaalien menetelmien avulla. |
ED: | 1999-02-02 |
INSSI record number: 13861
+ add basket
« previous | next »
INSSI