177 search results - page 2 / 36 » The Essence of Compiling with Continuations |
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented t...
ICFP
2007
ACM
14 years 6 months ago
2007
ACM
OOPSLA
2005
Springer
13 years 11 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...
NIPS
2008
13 years 7 months ago
2008
The essence of exploration is acting to try to decrease uncertainty. We propose a new methodology for representing uncertainty in continuous-state control problems. Our approach, ...
LICS
2005
IEEE
13 years 12 months ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...