Výsledky vyhledávání - "Fredriksson, Olle"

Report

Autor: Fredriksson, Olle

We present a new abstract machine, called DCESH, which describes the execution of higher-order programs running in distributed architectures. DCESH implements a generalised form of Remote Procedure Call that supports calling higher-order functions ac

Externí odkaz: http://arxiv.org/abs/1401.5097

Zobrazit plný text záznamu

Report

Abstract machines for game semantics, revisited

Autor: Fredriksson, Olle, Ghica, Dan R.

We define new abstract machines for game semantics which correspond to networks of conventional computers, and can be used as an intermediate representation for compilation targeting distributed systems. This is achieved in two steps. First we introd

Externí odkaz: http://arxiv.org/abs/1304.4159

Zobrazit plný text záznamu

Dissertation/ Thesis

Att vara ideologiskt konsekvent under kris : En idéanalys av debatten om vaccinpass i Sverige

Autor: Berenett, Emanuel, Fredriksson, Olle

This thesis’s main purpose is to understand the recent debate in Sweden concerning the vaccine passport that was caused due to the recent spread of the corona virus. The focus is on what a variety of arguments and positions from different public po

Externí odkaz: http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-46716

Zobrazit plný text záznamu

Dissertation/ Thesis

Distributing abstract machines

Autor: Fredriksson, Olle

Today's distributed programs are often written using either explicit message passing or Remote Procedure Calls (RPCs) that are not natively integrated in the language. It is difficult to establish the correctness of programs written this way compared

Externí odkaz: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.665795

Zobrazit plný text záznamu