Domain specific type systems

 |  Login

Show simple item record

dc.contributor Aalto-yliopisto fi
dc.contributor Aalto University en
dc.contributor.advisor Patai, Gergely
dc.contributor.author Grenrus, Oleg
dc.date.accessioned 2016-11-02T09:29:12Z
dc.date.available 2016-11-02T09:29:12Z
dc.date.issued 2016-10-31
dc.identifier.uri https://aaltodoc.aalto.fi/handle/123456789/23249
dc.description.abstract Type system tailored for specific domain could radically improve quality of the program. Many domains have natural types, yet they are difficult to encode in mainstream languages’ type systems. If the encoding is possible, it’s luckily to be very troublesome to work with. We investigate a single approach of developing domain specific type systems and type checking and inference algorithms for them, and apply it to MATLAB and JavaScript programs. en
dc.description.abstract Tyyppijärjestelmä, joka on suunniteltu tiettyä sovellusaluetta varten, voi mer- kittävästi parantaa sovelluksen laatua. Monilla sovellusalueilla on luonnollisia tyyppejä, joita ei ole helppo ilmaista yleiskäyttöisten ohjelmointikielten tyyp- pijärjestelmissä. Ja vaikka se olisikin mahdollista, koodaus ei ole välttämättä luonteva. Tässä tutkielmassa tarkastellaan erästä tapaa suunnitella ja toteuttaa sovelluskohtaisia tyyppijärjestelmiä ja niiden tyyppitarkistus- ja tyyppipäättely- algoritmeja. Sovellamme menetelmää Matlab- ja JavaScript-kielillä kirjoitettuihin ohjelmiin. fi
dc.format.extent 7 + 78 + 10
dc.format.mimetype application/pdf en
dc.language.iso en en
dc.title Domain specific type systems en
dc.title Sovelluskohtaiset tyyppijärjestelmät fi
dc.type G2 Pro gradu, diplomityö fi
dc.contributor.school Sähkötekniikan korkeakoulu fi
dc.subject.keyword type system en
dc.subject.keyword type inference en
dc.subject.keyword domain specific en
dc.subject.keyword matlab en
dc.subject.keyword javascript en
dc.identifier.urn URN:NBN:fi:aalto-201611025350
dc.programme.major Sähköfysiikka fi
dc.programme.mcode S3014 fi
dc.type.ontasot Master's thesis en
dc.type.ontasot Diplomityö fi
dc.contributor.supervisor Tarhio, Jorma
dc.programme EST fi
dc.location P1 fi


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search archive


Advanced Search

article-iconSubmit a publication

Browse

My Account