Sciweavers

1760 search results - page 195 / 352
» A System to Mark Programs Automatically
Sort
View
139
Voted
PLDI
2004
ACM
15 years 8 months ago
Region inference for an object-oriented language
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Mart...
158
Voted
JUCS
2006
123views more  JUCS 2006»
15 years 3 months ago
Persian/Arabic Baffletext CAPTCHA
: 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...
Mohammad Hassan Shirali-Shahreza, Mohammad Shirali...
HASKELL
2008
ACM
15 years 4 months ago
Lightweight monadic regions
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...
Oleg Kiselyov, Chung-chieh Shan
133
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
Symbolic mining of temporal specifications
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...
Mark Gabel, Zhendong Su
120
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
Recovering Documentation-to-Source-Code Traceability Links using Latent Semantic Indexing
An information retrieval technique, latent semantic indexing, is used to automatically identify traceability links from system documentation to program source code. The results of...
Andrian Marcus, Jonathan I. Maletic