957 search results - page 4 / 192 » Modular Static Program Analysis |
130
Voted
ICFP
1997
ACM
15 years 7 months ago
1997
ACM
General media-processing programs are easily expressed with bitaddressing and variable-sized bit-fields. But the natural implementation of bit-addressing relies on dynamic shift ...
126
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Modern programs frequently employ sophisticated modular designs. As a result, performance problems cannot be identified from costs attributed to routines in isolation; understand...
108
Voted
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
125
Voted
DOCENG
2004
ACM
15 years 9 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
102
Voted
ENTCS
2010
15 years 1 months ago
2010
ional Workshop on Numerical and Symbolic Abstract Domains NSAD 2010 I.0.1I.0.1