852 search results - page 75 / 171 » Understanding How the Requirements Are Implemented in Source... |
128
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Software components o er numerous advantages in terms of development, but may give rise to ine ciency due to highly generic implementations. Program specialization can automatical...
137
click to vote
ICFP
2001
ACM
16 years 4 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
231
click to vote
CC
2009
Springer
16 years 5 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
149
click to vote
GCC
2007
Springer
15 years 6 months ago
2007
Springer
Executing the legacy program over grid is very important and necessary. To reuse the legacy program, we developed a method based on Component for executing the legacy code. We can...
150
click to vote
PPAM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...