DAGSTUHL 1996 | Sciweavers

32

click to vote

DAGSTUHL
1996

94views Software Engineering» more DAGSTUHL 1996»

Representing and Reasoning About Object Functionality: Towards an Integrated Approach

14 years 2 months ago

Download www.uwf.edu

Melanie A. Sutton, Louise Stark, Kevin W. Bowyer

claim paper

Read More »

56

click to vote

DAGSTUHL
1996

94views Software Engineering» more DAGSTUHL 1996»

Specialization of Imperative Programs Through Analysis of Relational Expressions

14 years 2 months ago

Download repository.readscheme.org

An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...

Alexander Sakharov

claim paper

Read More »

35

click to vote

DAGSTUHL
1996

137views Software Engineering» more DAGSTUHL 1996»

Program Specialization via Program Slicing

14 years 2 months ago

Download www.cs.wisc.edu

This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. We show that the specialization operation that slicing performs is dif...

Thomas W. Reps, Todd Turnidge

claim paper

Read More »

30

click to vote

DAGSTUHL
1996

97views Software Engineering» more DAGSTUHL 1996»

A Comparative Revisitation of Some Program Transformation Techniques

14 years 2 months ago

Download repository.readscheme.org

We revisit the main techniques of program transformation which are used in partial evaluation, mixed computation, supercompilation, generalized partial computation, rule-based prog...

Alberto Pettorossi, Maurizio Proietti

claim paper

Read More »

29

click to vote

DAGSTUHL
1996

103views Software Engineering» more DAGSTUHL 1996»

Behavior-Based Cooperative Robotics Applied to Multi-Target Observation

14 years 2 months ago

Download www.cs.utk.edu

Lynne E. Parker

claim paper

Read More »

32

click to vote

DAGSTUHL
1996

100views Software Engineering» more DAGSTUHL 1996»

Multi-Level Lambda-Calculi: An Algebraic Description

14 years 2 months ago

Download repository.readscheme.org

Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

37

click to vote

DAGSTUHL
1996

95views Software Engineering» more DAGSTUHL 1996»

A Self-Applicable Supercompiler

14 years 2 months ago

Download skif.pereslavl.ru

A supercompiler is a program which can performa deep transformation of programsusing a principle which is similarto partial evaluation, and can be referred to as metacomputation. ...

Andrei P. Nemytykh, Victoria A. Pinchuk, Valentin ...

claim paper

Read More »

33

click to vote

DAGSTUHL
1996

93views Software Engineering» more DAGSTUHL 1996»

Global Control for Partial Deduction through Characteristic Atoms and Global Trees

14 years 2 months ago

Download repository.readscheme.org

Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...

Michael Leuschel, Bern Martens

claim paper

Read More »

32

click to vote

DAGSTUHL
1996

106views Software Engineering» more DAGSTUHL 1996»

Distributed Control of Microrobots for Different Applications

14 years 2 months ago

Download wwwipr.ira.uka.de

Thomas Laengle, Joerg Seyfried, Ulrich Rembold

claim paper

Read More »

39

click to vote

DAGSTUHL
1996

101views Software Engineering» more DAGSTUHL 1996»

Efficiently Generating Efficient Generating Extensions in Prolog

14 years 2 months ago

Download www.stups.uni-duesseldorf.de

The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalua...

Jesper Jørgensen, Michael Leuschel

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers