31 search results - page 4 / 7 » On one-pass CPS transformations |
181
Voted
ICFP
2009
ACM
15 years 11 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...
79
Voted
FUIN
2006
14 years 10 months 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...
69
Voted
PEPM
1994
ACM
15 years 2 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...
88
Voted
ICIP
2002
IEEE
15 years 3 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...
75
Voted
HASE
1998
IEEE
15 years 2 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...