1760 search results - page 195 / 352 » A System to Mark Programs Automatically |
139
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
158
Voted
JUCS
2006
15 years 3 months ago
2006
: Nowadays, many daily human activities such as education, trade, talks, etc are done by using the Internet. In such things as registration on Internet web sites, hackers write pro...
142
click to vote
HASKELL
2008
ACM
15 years 4 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
133
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
120
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
An information retrieval technique, latent semantic indexing, is used to automatically identify traceability links from system documentation to program source code. The results of...