5415 search results - page 447 / 1083 » The Implementation of Functional Programming Languages |
188
click to vote
PLDI
1997
ACM
15 years 11 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
169
click to vote
LISP
2002
15 years 6 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
185
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
190
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
System configuration management is difficult because systems evolve in an undisciplined way: packages are upgraded, configuration files are edited, and so on. The management of ex...
275
click to vote
SIES
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...