Search
Now showing items 1-10 of 14
(Research report / Forskningsrapport / SubmittedVersion; Peer reviewed, 2012)
We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades. Dynamic SOS is built on top of theModular SOS of P.Mosses, with an underlying category theory ...
(Research report / Forskningsrapport, 2007)
The integration of XML documents in object-oriented programming languages is becoming paramount with the advent of the use of Internet in new applications like web services. Such integration is not easy in general and ...
(Research report / Forskningsrapport, 2010)
We present a partial correctness proof system for ABS, an imperative, concurrent and object-oriented language which provides asynchronous communication model that is suitable for loosely coupled objects in the distributed ...
(Research report / Forskningsrapport, 1995)
ABEL is a wide spectrum language developed at the University of Oslo. The applicative core of ABEL is a typed first order language with subtypes and partial functions. The paper presents a constructive fragment of the core, ...
(Research report / Forskningsrapport, 2013)
We investigate the usage of a history-based specification approach for concurrent and distributed systems. In particular, we compare two approaches on checking that those systems behave according to their specification. ...
(Research report / Forskningsrapport, 2014)
Distributed and concurrent object-oriented systems are difficult to analyze due to the complexity of their concurrency, communication, and synchronization mechanisms. The future mechanism extends the traditional method ...
(Research report / Forskningsrapport, 2020)
(Research report / Forskningsrapport, 2010)
In this paper, we propose a probabilistic extension of the Creol modeling language, called PCreol, for which we give the operational semantics in Probabilistic Rewrite Logic. We give details on the implementation of a ...
(Research report / Forskningsrapport, 2007)
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in distributed and unstable networks. Second, the ...
(Research report / Forskningsrapport, 2007)
Late binding allows flexible code reuse but complicates formal reasoning significantly, as a method call’s receiver class is not statically known. This is especially true when programs are incrementally developed by extending ...