4540 search results - page 538 / 908 » Evolvability |
190
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
176
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
177
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
In this paper, we describe an information agent, that resides on a mobile computer or personal digital assistant (PDA), that can autonomously acquire sensor readings from pervasiv...
182
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
168
click to vote
SODA
2010
ACM
16 years 4 months ago
2010
ACM
We observe that the classical maximum flow problem in any directed planar graph G can be reformulated as a parametric shortest path problem in the oriented dual graph G . This ref...