9626 search results - page 1643 / 1926 » Invariant Based Programming |
159
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...
214
click to vote
STACS
2005
Springer
16 years 4 days ago
2005
Springer
Cycle covering is a well-studied problem in computer science. In this paper, we develop approximation algorithms for variants of cycle covering problems which bound the size and/o...
170
click to vote
TLCA
2005
Springer
16 years 3 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...
206
click to vote
UM
2005
Springer
16 years 3 days ago
2005
Springer
We develop a novel user-centric modeling technology, which can dynamically describe and update a person's expertise profile. In an enterprise environment, the technology can e...