957 search results - page 4 / 192 » Modular Static Program Analysis |
ICFP
1997
ACM
14 years 2 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 ...
PLDI
2009
ACM
14 years 4 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...
APLAS
2004
ACM
14 years 3 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...
DOCENG
2004
ACM
14 years 3 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...
ENTCS
2010
13 years 7 months ago
2010
ional Workshop on Numerical and Symbolic Abstract Domains NSAD 2010 I.0.1I.0.1