3688 search results - page 139 / 738 » Static analysis of aspects |
147
Voted
ICTCS
2005
Springer
15 years 11 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
148
click to vote
NDSS
2000
IEEE
15 years 10 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...
245
click to vote
ISORC
2011
IEEE
14 years 9 months ago
2011
IEEE
—Static cache analysis for data allocated on the heap is practically impossible for standard data caches. We propose a distinct object cache for heap allocated data. The cache is...
156
Voted
IJCAI
1993
15 years 7 months ago
1993
This paper presents an analysis of static and dynamic organizational structures for naturally distributed, homogeneous, cooperative problem solving environments, exemplified by di...
138
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
T-Araneus is a tool for the generation of Web sites with special attention to temporal aspects. It builds on previous experiences in the management of data-intensive Web-sites, an...