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...
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