5415 search results - page 907 / 1083 » The Implementation of Functional Programming Languages |
169
click to vote
DCOSS
2007
Springer
16 years 21 days ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
209
click to vote
KBSE
2006
IEEE
16 years 16 days ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
179
click to vote
WCRE
2006
IEEE
16 years 16 days ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...
156
click to vote
CASES
2006
ACM
16 years 15 days ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
165
click to vote
ECLIPSE
2006
ACM
16 years 15 days ago
2006
ACM
The goal of a clone detection tool is to identify sections of code that are duplicated in a program. The result of the detection is presented in some manner for the user to view, ...