search query: @keyword type inference / total: 1
reference: 1 / 1
« previous | next »
Author: | Grenrus, Oleg |
Title: | Domain specific type systems |
Sovelluskohtaiset tyyppijärjestelmät | |
Publication type: | Master's thesis |
Publication year: | 2016 |
Pages: | (7) + 78 s. + liitt. 10 Language: eng |
Department/School: | Sähkötekniikan korkeakoulu |
Main subject: | Sähköfysiikka (S3014) |
Supervisor: | Tarhio, Jorma |
Instructor: | Patai, Gergely |
Electronic version URL: | http://urn.fi/URN:NBN:fi:aalto-201611025350 |
Location: | P1 Ark Aalto 5335 | Archive |
Keywords: | type system type inference domain specific matlab javascript tyyppijärjestelmä tyyppipäättely |
Abstract (eng): | 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. |
Abstract (fin): | Tyyppijärjestelmä, joka on suunniteltu tiettyä sovellusaluetta varten, voi merkittävästi parantaa sovelluksen laatua. Monilla sovellusalueilla on luonnollisia tyyppejä, joita ei ole helppo ilmaista yleiskäyttöisten ohjelmointikielten tyyppijärjestelmissä. Ja vaikka se olisikin mahdollista, koodaus ei ole vältäätä luonteva. äsä tutkielmassa tarkastellaan erästä tapaa suunnitella ja toteuttaa sovelluskohtaisia tyyppijärjestelmiä ja niiden tyyppitarkistus- ja tyyppiäättely- algoritmeja. Sovellamme menetelmää Matlab- ja JavaScript-kielilä kirjoitettuihin ohjelmiin. |
ED: | 2016-11-13 |
INSSI record number: 54882
+ add basket
« previous | next »
INSSI