temeljni projekti j avtomatska implementacija programskih jezikov na heterogenih racunalniskih sistemih nosilec red prof dr v zumer sodelavci doc dr m ojstersek doc dr m mernik mag j brest dipl inz a kvas dipl inz u novak dipl inz r krusec dipl inz m lenic dipl inz e avdicausevic dipl inz financer ministrstvo za znanost in tehnologijo republike slovenije projekt je stirileten in se je zacel izvajati v letu cilj projekta je generator prevajalnikov ki iz formalnih specifikacij pretvori programe pisane v jezikih razlicnih programskih vzorcev v strojni kod racunalnikov heterogenega racunalniskega sistema v tem letu smo se ukvarjali z ponovno uporabnostjo formalnih specifikacij ki so vhod v generator prevajalnikov sablone veckratno dedovanje atributnih gramatik in objektno nacrtovanje semanticnih domen omogocajo visoko stopnjo ponovne uporabnosti semanticnih specifikacij na podrocju heterogenega procesiranja smo proucevali razclenjevanje programskega bremena v homogene posle razvili smo dinamicno razvrscanje na heterogenem racunalniskem sistemu ki omogoca cim hitrejsi zakljucek izvajanja programskega bremena mednarodni projekti genericno in modularno programiranje fnc lisa slovenija francija nosilec nosilec red prof dr v zumer dr didier parigot sodelavci sodelavci doc dr m mernik dr gilles roussel r krusec dipl inz loic correnson m lenic dipl inz remi forax e avdicausevic dipl inz financer ministrstvo za znanost in tehnologijo republike slovenije proces nacrtovanja jezika mora podpirati modularnost in abstrakcijo le tako so inkrementalne spremembe mozne na enostaven nacin to je tudi eden izmed strateskih ciljev nadaljnih raziskav na podrocju programskih jezikov ker atributne gramatike zelo uspesno uporabljamo pri opisu semantike programskih jezikov jih je potrebno dopolniti s koncepti modularnosti ponovne uporabnosti in razsirljivosti za objektno usmerjene programske jezike je znano da podpirajo ponovno uporabnost in razsirljivost z uporabo konceptov dedovanja in polimorfizma cilj projekta je tako vkljucitev idej in konceptov iz raznih programskih vzorcev v atributne gramatike z namenom da postanejo le te modularne ponovno uporabne in razsirljive modularnost in ponovna uporabnost atributnih gramatik aml lisa slovenija norveska nosilec nosilec red prof dr v zumer izr prof dr k a mughal sodelavci doc dr m mernik r krusec dipl inz m lenic dipl inz e avdicausevic dipl inz financer ministrstvo za znanost in tehnologijo republike slovenije atributne gramatike zelo uspesno uporabljamo pri opisu semantike programskih jezikov avtomatskem generiranju prevajalnikov interpreterjev pri generiranju interaktivnih programskih okolij in na mnogih drugih podrocjih atributne gramatike so generalizacija kontekstno prostih gramatik pri katerih vsakemu simbolu gramatike pridruzimo mnozico atributov ki prenasajo semanticne informacije vsaki produkciji pridruzimo mnozico semanticnih pravil s katerimi atribute racunamo atributne gramatike imajo tudi nekaj pomankljivosti ki se pojavijo pri specifikacijah realnih programskih jezikov taksne specifikacije so zelo obsezne nestrukturirane in jih je tezko brati na drugi strani pa ze manjsa sprememba enega dela specifikacij lahko povzroci spremembe tudi v ostalih delih specifikacij razlog za to lezi v pomankanju konceptov ki bi podprli modularno inkrementalno in ponovno uporabno nacrtovanje zaradi tega so v primerjavi z modernimi programskimi jeziki kot so objektno usmerjeni programski jeziki in funkcijski jeziki atributne gramatike v podrejenem polozaju v okviru projekta preucujemo moznosti razsiritve atributnih gramatik s koncepti iz objektno usmerjenih in funkcijskih programskih jezikov glavni cilj projekta je implementacija tega pristopa v orodjih aml in lisa