6960 search results - page 24 / 1392 » Continuity Analysis of Programs |
IEEEVAST
2010
14 years 4 months ago
2010
Since its inception, the field of visual analytics has undergone tremendous growth in understanding how to create interactive visual tools to solve analytical problems. However, w...
IJBC
2010
14 years 4 months ago
2010
JCSC
2010
14 years 4 months ago
2010
REX
1991
15 years 1 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
84
Voted
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values,...