3404 search results - page 303 / 681 » C Programming Tutorial |
142
click to vote
HASKELL
2005
ACM
16 years 1 days 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...
168
click to vote
CC
2005
Springer
16 years 21 hour 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...
135
Voted
UIST
2003
ACM
15 years 11 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...
148
click to vote
LCTRTS
2001
Springer
15 years 11 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...
172
click to vote
SC
2000
ACM
15 years 10 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...