4139 search results - page 142 / 828 » Designing and Implementing Combinator Languages |
108
click to vote
SAC
2008
ACM
14 years 10 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
ICPP
2009
IEEE
15 years 5 months ago
2009
IEEE
—The implementation and optimization of collective communication operations is an important field of active research. Such operations directly influence application performance...
183
click to vote
ICDE
1997
IEEE
16 years 17 days ago
1997
IEEE
The need to transform data between heterogeneous databases arises from a number of critical tasks in data management. These tasks are complicated by schema evolution in the underl...
109
click to vote
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
IJHPCA
2007
14 years 11 months ago
2007
We describe the rationale behind the design of key features of Titanium—an explicitly parallel dialect of JavaTM for high-performance scientific programming—and our experienc...