10072 search results - page 1711 / 2015 » Composition of Model Programs |
161
click to vote
OOPSLA
2005
Springer
16 years 4 days ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
205
click to vote
SEKE
2005
Springer
16 years 4 days ago
2005
Springer
Most design recovery approaches start from analysing source code. Nonetheless, it is very difficult to get adequate design information only depending on source code. Additional av...
171
click to vote
TLCA
2005
Springer
16 years 4 days ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
189
click to vote
GRAPHITE
2004
ACM
16 years 2 days ago
2004
ACM
Growing demand for ubiquitous and pervasive computing has triggered a sharp rise in handheld device usage. At the same time, dynamic multimedia data has become accepted as core ma...
155
click to vote
ISLPED
2004
ACM
16 years 2 days ago
2004
ACM
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...