4211 search results - page 633 / 843 » Types as Abstract Interpretations |
215
click to vote
EIT
2008
IEEE
16 years 1 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....
190
Voted
AOSD
2005
ACM
16 years 20 days 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...
172
Voted
ISW
2004
Springer
16 years 14 days 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...
204
click to vote
HICSS
2003
IEEE
16 years 12 days 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...
200
click to vote
PLDI
2010
ACM
16 years 5 days 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...