Sciweavers

1359 search results - page 30 / 272
» Black-Box Program Specialization
Sort
View
LOPSTR
2007
Springer
14 years 2 months ago
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
Abstract. The goal of partial evaluation is the specialization of programs w.r.t. part of their input data. Although this technique is already well-known in the context of function...
Sebastian Fischer, Josep Silva, Salvador Tamarit, ...
IFL
2005
Springer
155views Formal Methods» more  IFL 2005»
14 years 2 months ago
A Binding Scope Analysis for Generic Programs on Arrays
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Sha...
SAS
1994
Springer
14 years 21 days ago
Generating Transformers for Deforestation and Supercompilation
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...
Robert Glück, Jesper Jørgensen
SIGCSE
2008
ACM
158views Education» more  SIGCSE 2008»
13 years 8 months ago
The game of life: an outreach model for high school students with disabilities
In this hands-on special session, attendees will learn about and use a Game of Life cellular automata framework (Java) to assist with outreach activities. Using the framework, stu...
Richard E. Ladner, Tammy VanDeGrift
ATAL
2005
Springer
14 years 2 months ago
Game theoretic Golog under partial observability
We present the agent programming language POGTGolog, which combines explicit agent programming in Golog with game-theoretic multi-agent planning in a special kind of partially obs...
Alberto Finzi, Thomas Lukasiewicz