9521 search results - page 26 / 1905 » Compiling with continuations, continued |
CAGD
2002
14 years 9 months ago
2002
In this paper, I discuss a method for increasing the continuity between two functional triangular polynomial patches by adjusting their control points. The method described in thi...
LISP
2002
14 years 9 months ago
2002
Abstract. Continuations can be used to explain a wide variety of control behaviours, including calling/returning (procedures), raising/handling (exceptions), labelled jumping (goto...
TPDS
2002
14 years 9 months ago
2002
AUSAI
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...
CIE
2007
Springer
15 years 1 months ago
2007
Springer
We investigate the notion of K-triviality for closed sets and continuous functions. Every K-trivial closed set contains a K-trivial real. There exists a K-trivial 0 1 class with no...