1538 search results - page 155 / 308 » Programming with Patterns |
153
Voted
MPC
2004
Springer
15 years 11 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
173
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
140
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Despite the automated refactoring support provided by today's IDEs many program transformations that are easy to conceptualize-such as improving the implementation of a desig...
125
click to vote
CMMR
2007
Springer
16 years 10 days ago
2007
Springer
It is common “beat programming” practice to construct rhythmic sequences in a one-sample-per-instrument manner. Sounds of separate strokes on a drum, however, generally are not...
162
Voted
GPCE
2003
Springer
15 years 11 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...