92 search results - page 1 / 19 » A Generic Framework for Context-Sensitive Analysis of Modula... |
LOPSTR
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...
DAC
2005
ACM
14 years 5 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
LOPSTR
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...
ICMCS
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper introduces the software framework MMER Lab which allows an effective assembly of modular signal processing systems optimized for memory efficiency and performance. Our...
OOPSLA
2004
Springer
13 years 10 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...