Bachelor and Master Theses

Title: Formell semantik för händelsestyrda sprćk (pć Ericsson)
Subject: Computer Science
Level: Advanced
Description: MÄlet Àr att definiera en formell semantik för centrala delar av
hĂ€ndelsestyrda sprĂ„k som anvĂ€nds inom Ericsson och övrig industri. Även
analys av styrkor och svagheter samt automatisk översÀttning mellan
sprÄken samt parallellexekveringsapsekter kommer att ingÄ.



Syftet:



Att erhÄlla bÀttre förstÄelse för sprÄken och deras egenskaper, att
bereda vÀgen för formell verifiering av program med kritisk funktion,
samt att identifiera "hÄriga hörn" av sprÄken som Àr matematiskt
besvÀrliga att karakterisera och dÀrför kan misstÀnkas vara svÄra att
förstÄ Àven för programmerare. En formell semantik utgör en viktig del
av dokumentationen för ett programsprÄk, minst lika viktig som den
formella syntaxen.



I mÄn av tid görs Àven en demonstration av nÄgon tillÀmpning av den
Formella semantiken, t.ex. en formell verifiering att ett program har en
önskad egenskap eller en funktion som översÀtter mellan tvÄ sprÄk med bevisbar
korrekthet.



ArbetsgÄng:



Instudering PLEX.



Litteratursökning över formell semantik för liknande sprÄk



Beslut vilken typ av semantik som ska utvecklas (denotationssemantik,
operationell semantik, axiomatisk semantik)



Definition av semantiken. Test mot "verkligheten", validering att
Semantiken verkligen har fÄngat den riktiga betydelsen hos sprÄket och
beskriver programmens funktion pÄ ett korrekt sÀtt.



Studie av liten tillÀmpning av semantiken (om tid finns)



Rapportskrivning



Seminarium


Company: Ericsson i Älvsjö och pć IDt (arbetsplats pć bćda ställen)
Prel. end date: 2002-09-27
Presentation date: 2003-06-30
IDT supervisor: Björn Lisper
bjorn.lisper@mdh.se, +46-21-151709

Rapport och bilagor

Size

Senaste uppdatering

TR0210.ps

5482763

2003-11-07, 17:14

TR0210.pdf

781809

2003-11-07, 17:15


  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2017.03.25