16190 search results - page 324 / 3238 » Applicative programming with effects |
134
click to vote
GLOBECOM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Peer-to-Peer (P2P) file sharing applications use multiple TCP connections between peers to transfer data. The aggressiveness and robustness of P2P technology remarkably...
127
click to vote
LCR
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present two new compiler optimizations for explicitly parallel programs based on the CSSAME form: Lock-Independent Code Motion (LICM) and Mutex Body Localization (MBL)...
164
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
172
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
148
click to vote
HASKELL
2008
ACM
15 years 5 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...