6960 search results - page 30 / 1392 » Continuity Analysis of Programs |
STACS
2007
Springer
15 years 3 months ago
2007
Springer
Fixed point equations x = f(x) over ω-continuous semirings can be seen as the mathematical foundation of interprocedural program analysis. The sequence 0, f(0), f2 (0), . . . conv...
ECIS
2000
14 years 11 months ago
2000
As the information systems discipline grows, so do the number of programs offering graduate research degrees (GRD). In Australasia these include one year post-graduate (honors) pr...
FOAL
2007
ACM
15 years 1 months ago
2007
ACM
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
PPPJ
2009
ACM
15 years 4 months ago
2009
ACM
Continuations, or ’the rest of the computation’, are a concept that is most often used in the context of functional and dynamic programming languages. Implementations of such ...
114
click to vote
ENTCS
2006
14 years 9 months ago
2006
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give a...