4211 search results - page 717 / 843 » Types as Abstract Interpretations |
148
click to vote
ISSS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
121
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...
130
click to vote
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper introduces the concepts of wide classes and widening as extensions to the object model of class-based languages such as Java and Smalltalk. Widening allows an ...
156
click to vote
FC
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Anonymity features of electronic payment systems are important for protecting privacy in an electronic world. However, complete anonymity prevents monitoring financial t...
142
click to vote
GCSE
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A well-known problem in program generation is scoping. When identifiers (i.e., symbolic names) are used to refer to variables, types, or functions, program generators mu...