Nettsider med emneord «Programmeringsspråk»

Bildet kan inneholde: .
Publisert 1. sep. 2023 21:32

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