172 search results - page 11 / 35 » HotComments: How to Make Program Comments More Useful |
SEW
2006
IEEE
14 years 1 months ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
HASKELL
2006
ACM
14 years 1 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
ADHOCNETS
2009
Springer
14 years 8 days ago
2009
Springer
Mobile ad hoc networks (MANETs) are a highly promising new form of networking. However they are more vulnerable to attacks than wired networks. In addition, conventional intrusion ...
SIGUCCS
2000
ACM
13 years 11 months ago
2000
ACM
Anyone who works with student employees knows that while it is often difficult to train sufficiently, it is of the utmost importance to have a qualified, knowledgeable staff. We w...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...