3926 search results - page 88 / 786 » A Logic of Object-Oriented Programs |
143
click to vote
PADO
2001
Springer
15 years 9 months ago
2001
Springer
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...
142
click to vote
POS
1998
Springer
15 years 9 months ago
1998
Springer
Java is a popular, object oriented language that is runtime type safe. As such, it has been seen as an attractive basis for the implementation of orthogonally persistent systems b...
110
Voted
TOOLS
1992
IEEE
15 years 8 months ago
1992
IEEE
The notion of location of part objects is introduced, yielding a reference to the containing object. Combined with locally defined objects and classes (block structure), singularl...
164
click to vote
OMER
2001
15 years 6 months ago
2001
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
122
click to vote
ENTCS
2006
15 years 4 months ago
2006
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 ...