274 search results - page 2 / 55 » The Design of the YAP Compiler: An Optimizing Compiler for L... |
TOOLS
1999
IEEE
13 years 9 months ago
1999
IEEE
The design of the Eiffel language makes it possible to perform global optimizations on Eiffel programs. In this paper, we describe some of the techniques we used in SmallEiffel, T...
PPDP
2007
Springer
13 years 11 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
TASE
2007
IEEE
13 years 11 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
PLDI
2012
ACM
11 years 7 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
JAVA
1999
Springer
13 years 9 months ago
1999
Springer
The Java language incurs a runtime overhead for exception checks and object accesses without an interior pointer in order to ensure safety. It also requires type inclusion test, d...