2206 search results - page 251 / 442 » On the power of coercion abstraction |
183
click to vote
GPCE
2007
Springer
16 years 23 days ago
2007
Springer
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
160
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
It is anticipated that self assembled ultra-dense nanomemories will be more susceptible to manufacturing defects and transient faults than conventional CMOS-based memories, thus t...
153
click to vote
APLAS
2004
ACM
16 years 1 days ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
129
click to vote
DNA
2004
Springer
16 years 5 hour ago
2004
Springer
Abstract. Speed of computation and power consumption are the two main parameters of conventional computing devices implemented in microelectronic circuits. As performance of such d...
173
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...