31 search results - page 4 / 7 » On one-pass CPS transformations |
198
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...
92
Voted
FUIN
2006
15 years 10 days ago
2006
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
82
Voted
PEPM
1994
ACM
15 years 4 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
101
Voted
ICIP
2002
IEEE
15 years 5 months ago
2002
IEEE
The topic of the paper is to estimate parameters of the camera motion using images taken at initial and current positions of the camera. An original method handling defocused imag...
HASE
1998
IEEE
15 years 4 months ago
1998
IEEE
Independence is a fundamental requirement for calculating system reliability from component reliabilities, whether in hardware or software systems. Markov analysis is often used i...