69 search results - page 4 / 14 » Semantics for a Real-Time Object-Oriented Programming Langua... |
132
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
148
click to vote
DOOD
1993
Springer
15 years 9 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
144
click to vote
SEFM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Algebraic laws have been proposed to support program transformation in several paradigms. In general, and for object-orientation in particular, these laws tend to ignore ...
135
Voted
FPCA
1989
15 years 9 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
152
click to vote
VLDB
1995
ACM
15 years 8 months ago
1995
ACM
We follow the stack-baaed approach to query languages which is a new formal and intellectual paradigm for integrating querying and programming for object-oriented databases. Queri...