2596 search results - page 139 / 520 » Gradual Typing for Objects |
114
Voted
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
116
Voted
ER
2001
Springer
15 years 8 months ago
2001
Springer
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...
128
Voted
OOPSLA
2001
Springer
15 years 8 months ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
140
Voted
SI3D
1999
ACM
15 years 8 months ago
1999
ACM
Users of 3D desktop applications perform tasks that require accessing data storage, moving objects, and navigation. These operations are typically performed using 2D GUI elements ...
140
Voted
FSEN
2007
Springer
15 years 5 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...