9521 search results - page 16 / 1905 » Compiling with continuations, continued |
LISP
2002
14 years 9 months ago
2002
We investigate call-by-value continuation-passing style transforms that continuations. Altering a single variable in the translation of -abstraction gives rise to different control...
163
click to vote
AUTOMATICA
2011
14 years 4 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
ANTS
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We provide here a complete average
CODES
2001
IEEE
15 years 1 months ago
2001
IEEE
The continued growth of microprocessors' performance and the
PPDP
2004
Springer
15 years 3 months ago
2004
Springer
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...