5241 search results - page 582 / 1049 » Embedded Programming with C |
119
Voted
HASKELL
2005
ACM
15 years 10 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...
144
click to vote
CC
2005
Springer
15 years 10 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...
111
click to vote
UIST
2003
ACM
15 years 10 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...
121
click to vote
LCTRTS
2001
Springer
15 years 9 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...
154
Voted
SC
2000
ACM
15 years 9 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...