Sciweavers

10585 search results - page 575 / 2117
» The Orc Programming Language
Sort
View
PEPM
1992
ACM
15 years 11 months ago
Self-applicable C Program Specialization
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can produce a specialized version. If the partial evalu...
Lars Ole Andersen
CG
2004
Springer
15 years 7 months ago
Procedural 3D texture synthesis using genetic programming
The automatic synthesis of procedural textures for 3D surfaces using genetic programming is investigated. Genetic algorithms employ a search strategy inspired by Darwinian natural...
Adam Hewgill, Brian J. Ross
DASIP
2010
15 years 2 months ago
Hardware code generation from dataflow programs
The elaboration of new systems on embedded targets is becoming more and more complex. In particular, multimedia devices are now implemented using mixed hardware and software archi...
Nicolas Siret, Matthieu Wipliez, Jean-Franç...
ICFP
2004
ACM
16 years 7 months ago
From process logic to program logic
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
Kohei Honda
MODELS
2009
Springer
16 years 1 months ago
How to compare program comprehension in FOSD empirically: an experience report
There are many different implementation approaches to realize the vision of feature oriented software development, ranging from simple preprocessors, over feature-oriented program...
Janet Feigenspan, Christian Kästner, Sven Ape...