3311 search results - page 117 / 663 » Deductive Object Programming |
114
click to vote
RTAS
1995
IEEE
15 years 5 months ago
1995
IEEE
Real-time system software is notoriously hard to share and reuse. This paper walks through the methodology and application of ControlShell, a component-based programming system re...
CORR
2004
Springer
15 years 1 months ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
113
click to vote
VRST
1999
ACM
15 years 6 months ago
1999
ACM
Logic Programming as well as Virtual Reality applications have achieved a lot in the last few years. In this paper we present an architecture, a methodology and two simple example...
123
click to vote
APSEC
1999
IEEE
15 years 6 months ago
1999
IEEE
CORBA (Common Object Request Broker Architecture) is widely perceived as an emerging platform for distributed systems development. In this paper, we discuss CORBA's testing, ...
113
Voted
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...