1173 search results - page 146 / 235 » On the Compositionality of Round Abstraction |
JFP
2008
13 years 11 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
RTS
2006
13 years 11 months ago
2006
Abstract The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a ...
ICWE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. While several techniques have been introduced for specifying and acquiring context and quality information associated with Web services, they consider such information re...
TVCG
2010
13 years 9 months ago
2010
—A major obstacle in the appreciation of classical music is that extensive training is required to understand musical structure and compositional techniques toward comprehending ...
DLS
2009
13 years 9 months ago
2009
JavaScript programmers make extensive use of event-driven programming to help build responsive web applications. However, standard approaches to sequencing events are messy, and o...