Sciweavers

DAGSTUHL
1996
14 years 25 days ago
What Not to Do When Writing an Interpreter for Specialisation
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...
Neil D. Jones
DAGSTUHL
1996
14 years 25 days ago
Incorporating Spatial Representations at Multiple Levels of Abstraction in a Replicated Multilayered Architecture
ating Spatial Representations at Multiple Levels of Abstraction in a Replicated Multilayered Architecture for Robot Control ALBERTO ELFES Presented in the 1996 Dagstuhl Seminar 963...
Alberto Elfes
DAGSTUHL
1996
14 years 25 days ago
Compiler Generation for Interactive Graphics Using Intermediate Code
Abstract. This paper describes a compiler generator (cogen) designed for interactive graphics, and presents preliminary results of its application to pixel-level code. The cogen ac...
Scott Draves
DAGSTUHL
1994
14 years 25 days ago
Infrared Image Understanding
In this article, we present how it is possible to recover physical parameters of objects such as reflectivity, emissivity and thermal inertia from the analysis of infrared images ...
Claude Caillas
DAGSTUHL
1996
14 years 25 days ago
Pragmatics of Type-Directed Partial Evaluation
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
Olivier Danvy
DAGSTUHL
1994
14 years 25 days ago
The RPC-Memory Case Study: A Synopsis
Manfred Broy, Stephan Merz, Katharina Spies
DAGSTUHL
1996
14 years 25 days ago
A Uniform Approach for Compile-Time and Run-Time Specialization
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
Charles Consel, Luke Hornof, François No&eu...
DAGSTUHL
1996
14 years 25 days ago
Practical Aspects of Specialization of Algol-like Programs
Abstract. A \linearized" scheme of polyvariant specialization for imperative languages is described in the paper. The scheme is intended for increasing e ciency of specializat...
Mikhail A. Bulyonkov, Dmitry V. Kochetov