128 search results - page 8 / 26 » Union types for object-oriented programming |
118
Voted
POPL
1998
ACM
15 years 6 months ago
1998
ACM
123
click to vote
FSEN
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by...
126
click to vote
SAS
2004
Springer
15 years 7 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 ...
115
click to vote
OOGRAPHICS
1994
15 years 6 months ago
1994
class of general differentiable curves and surfaces and in turn refine this design to various parametric representations of curves and surfaces. This design includes all of the sta...
127
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...