haku: @keyword parsing / yhteensä: 3
hakutulos-lista
viite: 2 / 3
« edellinen | seuraava »
Tekijä:Mäkelä, Marko
Työn nimi:Implementing the Front-End of an SDL Compiler
SDL-kääntäjän etupään toteutus
Julkaisutyyppi:Diplomityö
Julkaisuvuosi:1998
Sivut:vii + 71      Kieli:   eng
Koulu/Laitos/Osasto:Tietotekniikan osasto
Oppiaine:Digitaalitekniikka   (Tik-79)
Valvoja:Ojala, Leo
Ohjaaja:Husberg, Nisse
OEVS:
Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje
sulje

Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossa

Oppimiskeskuksen suljetussa verkossa voi lukea sellaisia digitaalisia ja digitoituja opinnäytteitä, joille ei ole saatu julkaisulupaa avoimessa verkossa.

Oppimiskeskuksen yhteystiedot ja aukioloajat: https://learningcentre.aalto.fi/fi/harald-herlin-oppimiskeskus/

Opinnäytteitä voi lukea Oppimiskeskuksen asiakaskoneilla, joita löytyy kaikista kerroksista.

Kirjautuminen asiakaskoneille

  • Aalto-yliopistolaiset kirjautuvat asiakaskoneille Aalto-tunnuksella ja salasanalla.
  • Muut asiakkaat kirjautuvat asiakaskoneille yhteistunnuksilla.

Opinnäytteen avaaminen

  • Asiakaskoneiden työpöydältä löytyy kuvake:

    Aalto Thesis Database

  • Kuvaketta klikkaamalla pääset hakemaan ja avaamaan etsimäsi opinnäytteen Aaltodoc-tietokannasta. Opinnäytetiedosto löytyy klikkaamalla viitetietojen OEV- tai OEVS-kentän linkkiä.

Opinnäytteen lukeminen

  • Opinnäytettä voi lukea asiakaskoneen ruudulta tai sen voi tulostaa paperille.
  • Opinnäytetiedostoa ei voi tallentaa muistitikulle tai lähettää sähköpostilla.
  • Opinnäytetiedoston sisältöä ei voi kopioida.
  • Opinnäytetiedostoa ei voi muokata.

Opinnäytteen tulostus

  • Opinnäytteen voi tulostaa itselleen henkilökohtaiseen opiskelu- ja tutkimuskäyttöön.
  • Aalto-yliopiston opiskelijat ja henkilökunta voivat tulostaa mustavalkotulosteita Oppimiskeskuksen SecurePrint-laitteille, kun tietokoneelle kirjaudutaan omilla Aalto-tunnuksilla. Väritulostus on mahdollista asiakaspalvelupisteen tulostimelle u90203-psc3. Väritulostaminen on maksullista Aalto-yliopiston opiskelijoille ja henkilökunnalle.
  • Ulkopuoliset asiakkaat voivat tulostaa mustavalko- ja väritulosteita Oppimiskeskuksen asiakaspalvelupisteen tulostimelle u90203-psc3. Tulostaminen on maksullista.
Sijainti:P1 Ark T80     | Arkisto
Avainsanat: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
Tiivistelmä (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 tietueen numero: 13861
+ lisää koriin
« edellinen | seuraava »
INSSI