2740 search results - page 29 / 548 » Typing the Specialization Interface |
126
click to vote
ECOOP
1995
Springer
15 years 5 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
117
Voted
SI3D
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents user interface technology for mobile outdoor augmented reality systems, and a set of new techniques we have named construction at a distance for the capture an...
104
Voted
CACM
1998
15 years 1 months ago
1998
rigorous, and abstract— clearly defined and generally agreed—type inheritance model. To quote an article by Taivalsaari: “The basic idea of inheritance is quite simple ... [a...
115
Voted
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
109
Voted
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...