443 search results - page 12 / 89 » A Simple Solution to Type Specialization |
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
CHI
1994
ACM
13 years 11 months ago
1994
ACM
We propose a simple and powerful predictive interface technique for text editing tasks. With our technique called the dynamic macro creation, when a user types a special "rep...
LICS
2002
IEEE
14 years 8 days ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
SIAMAM
2008
13 years 7 months ago
2008
We consider a macroscopic (drift-diffusion) model describing a simple microwave generator, consisting of a special type of semiconductor material that, when biased above a certain ...