6960 search results - page 190 / 1392 » Continuity Analysis of Programs |
128
Voted
ENTCS
2006
15 years 3 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
108
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
133
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Increasing amounts of data from large scale whole genome analysis efforts demands convenient tools for manipulation, visualization and investigation. Whole genome plot...
127
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
114
Voted
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
Control operators for delimited continuations are useful in various fields such as partial evaluation, CPS translation, and representation of monadic effects. While many works in...