Staging with Delimited Control

Courtesy Lambda the Ultimate - Programming Languages Weblog  Sun, 11/30/2008 - 19:49

Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan, Shifting the Stage: Staging with Delimited Control .

PEPM2009.

It is often hard to write programs that are ef?cient yet reusable. For example, an efficient implementation of Gaussian elimination should be specialized to the structure and known static properties of the input matrix.

The most profitable optimizations, such as choosing the best pivoting or memoization, cannot be expected of even an advanced compiler because they are specific to the domain, but expressing these...


 

More related items

Beyond pure Prolog: Power and danger
One of the sections of Oleg Kiselyov's Prolog and Logic Programming page, on Beyond pure Prolog: power and danger, points out (i) term introspection (in the guise of the var/1 predicate) can...

Semi-implicit batched remote code execution as staging
Oleg Kiselyov has just posted another amazing work: Semi-implicit batched remote code execution as staging. Batching several remote-procedure or remote-object operations into one request...

OOP Articles on Think Vitamin - Lorna Mitchell
I've been working on a series of articles for Think Vitamin, the Carsonified blog, about OOP in PHP5. In fact I'm wildly excited about this, partly because I love to write and partly because...


 

Post new comment

The content of this field is kept private and will not be shown publicly.
computer-internet.marc8.com