Sciweavers

9595 search results - page 84 / 1919
» Functional programming in C
Sort
View
GECCO
2010
Springer
150views Optimization» more  GECCO 2010»
15 years 9 months ago
Object-level recombination of commodity applications
This paper presents ObjRecombGA, a genetic algorithm framework for recombining related programs at the object file level. A genetic algorithm guides the selection of object file...
Blair Foster, Anil Somayaji
PLDI
2011
ACM
14 years 7 months ago
Evaluating value-graph translation validation for LLVM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
Jean-Baptiste Tristan, Paul Govereau, Greg Morrise...
PLDI
2009
ACM
16 years 5 months ago
Automatic generation of library bindings using static analysis
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben...
WCFLP
2005
ACM
15 years 10 months ago
Translating curry to haskell system demo
There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of machines for C and Java. We show that there are many ...
Bernd Braßel, Frank Huch
ASPDAC
2000
ACM
95views Hardware» more  ASPDAC 2000»
15 years 9 months ago
SystemC standard
Abstract - The emergence and great popularity of system-onchip (SoC) designs has brought with it a variety of suggestions for a single language that can describe all of the functio...
Guido Arnout