3394 search results - page 80 / 679 » Regular Object Types |
108
Voted
SAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
104
Voted
ENTCS
2006
15 years 19 days ago
2006
Chords are a declarative synchronisation construct based on the Join-Calculus, available in the programming language C. To our knowledge, chords have no formal model in an object-...
107
click to vote
MM
1997
ACM
15 years 4 months ago
1997
ACM
We describe the design of an object-oriented multimedia database management system that can store and manage SGML/HyTime compliant multimedia documents. The system is capable of s...
103
Voted
ICTCS
2001
Springer
15 years 5 months ago
2001
Springer
In [BCC00], we presented a general framework for extending calculi of mobile agents with object-oriented features, and we studied a typed instance of that model based on Cardelli a...
101
Voted
ECOOP
1997
Springer
15 years 4 months ago
1997
Springer
We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM retains most of the features of the earlier language PolyTOIL. However the subtyp...