580 search results - page 40 / 116 » Building a Family of Compilers |
108
click to vote
LCTRTS
2009
Springer
15 years 7 months ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...
86
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
Program interpolation is a new type of transformation that given an input program written in a specially constructed Domain Specific Language (DSL), produces a family of function...
101
Voted
FM
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The classical concepts of partial and total correctness identify all types of runtime errors and divergence. We argue that the associated notions of translation correctne...
142
click to vote
ARITH
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest. The approach we present here targe...
69
Voted
PVLDB
2010
14 years 11 months ago
2010
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...