4211 search results - page 633 / 843 » Types as Abstract Interpretations |
162
click to vote
EIT
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Processing markup in object-oriented languages often requires the programmer to focus on the objects generating the markup rather than the more pertinent domain objects....
133
click to vote
AOSD
2005
ACM
15 years 10 months ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...
130
Voted
ISW
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
153
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Small ubiquitous devices connected by wireless networks will become future Internet appliances. To support them, communication networks must evolve to seamlessly assist appliances...
146
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...