792 search results - page 69 / 159 » Static Analysis of XSLT Programs |
128
Voted
VLSID
2010
IEEE
15 years 4 months ago
2010
IEEE
A novel design approach for simultaneous power and stability (static noise margin, SNM) optimization of nanoCMOS static random access memory (SRAM) is presented. A 45nm single-end...
107
Voted
ICFP
2007
ACM
16 years 23 days ago
2007
ACM
Sharing analysis and uniqueness typing are static analyses that aim at determining which of a program's objects are to be used at most once. There are many commonalities betw...
110
click to vote
PPDP
1999
Springer
15 years 5 months ago
1999
Springer
We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...
112
Voted
KBSE
1997
IEEE
15 years 5 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
87
Voted
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...