Nettsider med emneord «Programmeringsspråk»

Bildet kan inneholde: .
Publisert 12. sep. 2019 18:04

Denne oppgaven kombinerer verktøy for logikk og formelle bevis med teori for programmeringsspråk som semantikk, type systemer, og statisk analyse. Oppgaven passer for deg som er interessert i både logikk og programmeringsspråk.

Publisert 15. des. 2015 12:17

In this thesis, we look at advanced language features in upcoming programming languages such as Go or Rust, and investigate how to best combine new features with requirements on correct software development (static analysis, verification, monitoring).

Publisert 4. nov. 2010 14:19
Publisert 4. nov. 2010 14:12
Publisert 4. nov. 2010 14:03
Publisert 4. nov. 2010 14:00
Publisert 4. nov. 2010 14:00