Nettsider med emneord «program analysis»

Publisert 22. sep. 2023 15:11
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 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. des. 2014 11:20
Publisert 11. feb. 2011 09:51

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

Publisert 4. nov. 2010 14:19