9595 search results - page 84 / 1919 » Functional programming in C |
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
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...
143
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
255
click to vote
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
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...
117
click to vote
WCFLP
2005
ACM
15 years 8 months ago
2005
ACM
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 ...
116
click to vote
ASPDAC
2000
ACM
15 years 6 months ago
2000
ACM
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...