4731 search results - page 682 / 947 » Securing Interactive Programs |
162
click to vote
OOPSLA
2005
Springer
16 years 4 days ago
2005
Springer
Micro patterns are similar to design patterns, except that micro patterns stand at a lower, closer to the implementation, level of abstraction. Micro patterns are also unique in t...
179
click to vote
ASPLOS
2009
ACM
15 years 10 months ago
2009
ACM
Software systems are constantly changing. Patches to fix bugs and patches to add features are all too common. Every change risks breaking a previously working system. Hence admini...
213
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...
202
click to vote
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
208
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...