Nettsider med emneord «semantics»

Publisert 1. okt. 2012 22:07
Publisert 4. nov. 2010 14:12
Publisert 25. okt. 2020 18:06
Publisert 25. sep. 2017 21:01

The presentation by Daniel Fava at the Doctoral Symposium of the 13th International  integrated Formal Methods (iFM 2017) won the award for  the symposium's best presentation (shared with a second winner). The presentation covers joint work with Martin Steffen, Volker Stolz, and Stian Valle, about   ``An Operational Semantics for a Weak Memory Model with Buffered Writes, Message Passing, and Goroutines''.

 

Publisert 9. nov. 2010 10:47
Publisert 11. feb. 2011 09:51

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

Publisert 22. sep. 2023 15:11
Publisert 13. jan. 2015 08:27
Publisert 5. nov. 2016 09:46

Memory models as a part of programming language specifications have become increasingly popular the last two decades. They describe how the values that are obtained by reads are related to the values that are written by writes. To properly define this has proven particularly difficult for programming languages that allows for shared variables between multiple processes. In this thesis we formalize parts of the memory model specified by the Go language by making a structural operational semantics for it. We further use this semantics to prove that programs that are data race free will run under this semantics as they would under a strong memory model.

Publisert 11. okt. 2016 22:15

Graph representations of word embedding models: evaluating existing approaches and possible applications in language data processing and visualization.

Publisert 4. nov. 2010 14:00
Publisert 25. aug. 2020 15:23
Publisert 25. aug. 2020 15:24
Publisert 29. mars 2022 12:49
Publisert 4. nov. 2010 14:19
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