988 search results - page 104 / 198 » The Frontiers of Data Programmability |
GPCE
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes Splice, a system for writing aspects that perform static program analyses to direct program modifications. The power of an inter-procedural data-flow analys...
76
Voted
MPC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
107
Voted
PADL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
122
click to vote
PARA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Array privatization is one of the most effective ways to improve...
SIGADA
2004
Springer
15 years 6 months ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...