3713 search results - page 423 / 743 » Constructing a Calculus of Programs |
123
click to vote
ISLPED
2005
ACM
15 years 10 months ago
2005
ACM
Previous work has shown that intra-program optimizations, i.e., optimizations performed on individual programs in isolation, can be very effective in reducing disk energy in stre...
140
click to vote
XSYM
2005
Springer
15 years 10 months ago
2005
Springer
Among various proposals for primitives for deconstructing XML data two approaches seem to clearly stem from practise: path expressions, widely adopted by the database community, an...
130
click to vote
ITICSE
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we present an assignment for a course on Design patterns at the masters level, where students have to adapt an existing program to meet additional requirements. We ...
114
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
We present a programming technique for implementing type safe covariance in C++. In a sense, we implement most of Bruce’s matching approach to the covariance dilemma in C++. The...
115
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...