5090 search results - page 480 / 1018 » Constructing Strategies for Programming |
165
click to vote
AOSD
2005
ACM
16 years 15 days ago
2005
ACM
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...
149
click to vote
HASKELL
2005
ACM
16 years 15 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...
177
click to vote
ICLP
2005
Springer
16 years 13 days ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
186
click to vote
OOPSLA
2005
Springer
16 years 13 days ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
150
click to vote
GPCE
2003
Springer
16 years 4 days ago
2003
Springer
Multimedia stream processing is a rapidly evolving domain which requires much software development and expects high performance. Developing a streaming application often involves l...