Nettsider med emneord «program analysis»

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

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).

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