6960 search results - page 6 / 1392 » Continuity Analysis of Programs |
62
Voted
POPL
1993
ACM
15 years 1 months ago
1993
ACM
ECOOP
2006
Springer
15 years 1 months ago
2006
Springer
PLDI
1996
ACM
15 years 1 months ago
1996
ACM
Traditional first-class continuation mechanisms allow a captured continuation to be invoked multiple times. Many continuations, however, are invoked only once. This paper introduc...
JUCS
2008
14 years 9 months ago
2008
: In the representation approach to computable analysis (TTE) [Grz55, i00], abstract data like rational numbers, real numbers, compact sets or continuous real functions are represe...
ACE
2004
14 years 11 months ago
2004
The issues surrounding curriculum design of many Computer Science and Software Engineering degree programs1 are many and complex. In particular, the question of whether prior prog...