Sciweavers

104 search results - page 14 / 21
» EPOS: An Object-Oriented Operating System
Sort
View
JOT
2007
81views more  JOT 2007»
13 years 7 months ago
Persistent Objects and Capabilities in Timor
The paper describes how the idea of persistent objects is integrated into the Timor programming language. The strategy adopted allows types to be instantiated at two levels: as &q...
James Leslie Keedy, Klaus Espenlaub, Christian Hei...
LISA
2001
13 years 9 months ago
Gossips: System and Service Monitor
Gossips is a modular client/server based system monitor. It uses distributed monitoring tasks to define and report states of an IT-environment. A monitoring task includes probes t...
Victor Götsch, Albert Wuersch, Tobias Oetiker
OOPSLA
1989
Springer
13 years 11 months ago
A Denotational Semantics of Inheritance and its Correctness
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive d...
William R. Cook, Jens Palsberg
ENTCS
2006
154views more  ENTCS 2006»
13 years 7 months ago
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
Pascal Sotin, David Cachera, Thomas P. Jensen
MFPS
1989
13 years 11 months ago
Operations on Records
We define a simple collection of operations for creating and manipulating record structures, where records are intended as finite associations of values to labels. A second-order ...
Luca Cardelli, John C. Mitchell