haku: @keyword JavaScript / yhteensä: 50
viite: 3 / 50
| Tekijä: | Grenrus, Oleg |
| Työn nimi: | Domain specific type systems |
| Sovelluskohtaiset tyyppijärjestelmät | |
| Julkaisutyyppi: | Diplomityö |
| Julkaisuvuosi: | 2016 |
| Sivut: | (7) + 78 s. + liitt. 10 Kieli: eng |
| Koulu/Laitos/Osasto: | Sähkötekniikan korkeakoulu |
| Oppiaine: | Sähköfysiikka (S3014) |
| Valvoja: | Tarhio, Jorma |
| Ohjaaja: | Patai, Gergely |
| Elektroninen julkaisu: | http://urn.fi/URN:NBN:fi:aalto-201611025350 |
| Sijainti: | P1 Ark Aalto 5335 | Arkisto |
| Avainsanat: | type system type inference domain specific matlab javascript tyyppijärjestelmä tyyppipäättely |
| Tiivistelmä (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. |
| Tiivistelmä (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. |
| ED: | 2016-11-13 |
INSSI tietueen numero: 54882
+ lisää koriin
INSSI