3404 search results - page 303 / 681 » C Programming Tutorial |
104
Voted
HASKELL
2005
ACM
15 years 9 months ago
2005
ACM
A type-indexed function is a function that is defined for each member of some family of types. Haskell’s type class mechanism provides collections of open type-indexed function...
125
Voted
CC
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
98
Voted
UIST
2003
ACM
15 years 8 months ago
2003
ACM
Dialog boxes that collect parameters for commands often create ephemeral, unnatural interruptions of a program’s normal execution flow, encouraging the user to complete the dial...
109
click to vote
LCTRTS
2001
Springer
15 years 8 months ago
2001
Springer
Computers are increasingly being incorporated in devices with a limited amount of available memory. As a result research is increasingly focusing on the automated reduction of pro...
144
Voted
SC
2000
ACM
15 years 7 months ago
2000
ACM
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...