Nettsider med emneord «program analysis»

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 1. juni 2018 15:49

The Department of Informatics organizes and hosts the  30th Nordic Workshop on Programming Theory (NWPT'18), 24-26 October 2018. Submission deadline 1.September,.

 

See the conference's  webpage http://nwpt2018.ifi.uio.no/ for further information

 

 

 

Publisert 11. feb. 2011 09:51

The Reliable Systems group PSY (formerly PMA) teaches the following courses:

Publisert 22. okt. 2021 08:47
Publisert 22. okt. 2021 07:29
Publisert 1. des. 2014 11:20
Publisert 22. okt. 2021 07:56
Publisert 4. nov. 2010 14:19