16844 search results - page 246 / 3369 » How to Design Programs |
163
click to vote
PEPM
1998
ACM
15 years 10 months ago
1998
ACM
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...
303
click to vote
AVI
2000
15 years 8 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
171
click to vote
DNA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The goal of this research is to improve the programmability of DNA-based computers. Novel clockable microreactors can be connected in various ways to solve combinatorial ...
180
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
272
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...