515 search results - page 44 / 103 » A Dynamic Programming Approach to Optimal Integrated Code Ge... |
163
click to vote
JFP
2000
15 years 5 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
189
click to vote
WCRE
1995
IEEE
15 years 9 months ago
1995
IEEE
A legacy system is an operational, large-scale software system that is maintained beyond its first generation of programmers. It typically represents a massive economic investmen...
178
click to vote
ICCD
2006
IEEE
16 years 2 months ago
2006
IEEE
By integrating one or more (hard or soft) CPU core on the chip, new generation platform FPGAs have become configurable systems on a chip (CSoC) that support a combined software an...
269
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
146
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...