525 search results - page 33 / 105 » Static Interpretation of Modules |
PLDI
2012
ACM
13 years 3 days ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...
PLDI
1996
ACM
15 years 1 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
IWPC
2003
IEEE
15 years 2 months ago
2003
IEEE
Many applications have one or more important modules that are written in a language other than conventional procedural or object oriented languages. These languages are often tran...
ROBOCUP
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. Based on the design of the CS Freiburg team, which participated sucessfully in Robocup’98, we developed a new team of robotic soccer players. While the hardware compone...
CRV
2009
IEEE
15 years 29 days ago
2009
IEEE
The interpretation of aerial images is difficult, especially for low-resolution images. Although solutions have been worked on for many years, performance of these systems is sti...