Om BLDL
Programvare forteller datamaskinen helt presist hva den må gjøre for å løse de oppgavene vi forventer: at maskinen skal vise en videosnutt, håndtere at vi skal skrive et dokument eller en epost, sjekke rettskriving, organisering bildearkiv osv. Programvare er skrevet i programmeringsspråk. Programmeringsspråk må være helt presise, så det er helt klart for maskinen hva den skal gjøre. Men presisjon betyr ikke alltid at det vi ønsker å si er lett å uttrykke.
For eksempel er det i dag vanlig at for hver linje som beskriver hva vi vil maskinen skal gjøre, så trengs det 3 linjer som forteller maskinen hva den skal gjøre om en feil oppstår. En feil kan være at data vi får fra internettet er ødelagt, feks på en ondsinnet måte for å ta kontroll over maskinen. Men 3 linjer med feilhåndtering for hver linje med egentlig kode, betyr at selve arbeidsoppgaven vi vil ha utført fullstendig drukner i all den andre teksten. Her er det rom for forbedringer i programmeringsspråket.
BLDL setter fokus på dataspråk. Ved å se kritisk på dataspråkene er det mulig å komme med forbedringer til selve dataspråkene, og måten de skal brukes på. For eksempel har vi vist at det er mulig å redusere programmeringsarbeidet dramatisk om alt gjøres på en bedre måte enn i dag.
Med BLDL ønsker vi både å arbeide med teorien bak programmeringsspråk og hvordan vi i prinsippet kan lage bedre språk, men også å bruke disse idéene i praksis for å se om de virkelig fungerer. For å klare dette må vi kunne teorien, vi må kunne bygge verktøyene som lar oss bruke de språkene vi utvikler, og vi må kunne bygge programvare for å se om alt virker i praksis. Dette er skikkelig laboratoriearbeid, selv om alt foregår på en vanlig datamaskin.
Formålet med BLDL er å drive forskning og undervisning i dataspråk og dataspråkteknologi, både som universitetsfag men også i samarbeid med næringslivet. Arbeidet skal skje på et høyt internasjonalt nivå, med utveksling av studenter og forskere med tilsvarende miljø i Norge og utlandet.
Bergen laboratorium for språkdesign
Språk er virkemiddelet vi har for å uttrykke tanker, men også et middel som setter rammer for tenkningen.
Dette gjelder i stor grad for dataspråk. Dataspråk er alt fra presise programmerings- og spesifikasjonsspråk til naturlig språk brukt for modellering. Alle nødvendig for å arbeide med programvare.
Formålet med BLDL er å drive forskning og undervisning i dataspråk og dataspråkteknologi, både som universitetsfag men også i samarbeid med næringslivet. Arbeidet skal skje på et høyt internasjonalt nivå, med utveksling av studenter og forskere med tilsvarende miljø i Norge og utlandet.
-
Nyhet fra På Høyden
Suksess for språklaboratoriet
Bergen laboratorium for språkdesign har fått 15 millioner kroner av Forskningsrådet. Pengene skal brukes til å lage neste generasjons programmeringsspråk.
-
Nyhet
Nytt laboratorium ved Institutt for informatikk
Onsdag 4.11.09 åpner institutt for informatikk, Universitetet i Bergen, et nytt forskningslaboratorium: Bergen laboratorium for språkdesign (BLDL).
-
Nyhet fra På Høyden
Åpner lab for dataspråk
Det er utallige problemer med dagens måte å skrive dataprogrammer. Et forskerteam ved UiB håper å løse noen av dem, og tar med klimaproblemer i samme slengen.
Nyheter
- Dataverdenens superkjendiser på Bergensbesøk (02.11.2009)
- Bygger verktøy for dataspråk (01.11.2009)
- Lærer datamaskinen et nytt språk (01.11.2009)