1880 search results - page 103 / 376 » A Static Analysis for Beta-Binders |
168
click to vote
GPCE
2009
Springer
15 years 3 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
167
click to vote
ECLIPSE
2006
ACM
16 years 3 days ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...
152
Voted
FDL
2004
IEEE
15 years 9 months ago
2004
IEEE
The article describes semi-symbolic methods for the analysis of control and signal processing systems, including static and dynamic uncertainties. This above mentioned semi-symbol...
151
click to vote
ICSM
2005
IEEE
15 years 11 months ago
2005
IEEE
Many of the approaches that analyze software evolution consider a static perspective of a system. Static analysis approaches focus on the evolution of static software entities suc...
137
click to vote
IPPS
2006
IEEE
16 years 4 days ago
2006
IEEE
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...