2673 search results - page 469 / 535 » Guided Static Analysis |
133
click to vote
JSCIC
2008
15 years 3 months ago
2008
Abstract An epitaxial thin film consists of layers of atoms whose lattice properties are determined by those of the underlying substrate. This paper reviews mathematical modeling, ...
203
click to vote
Publication
A major difficulty in compiler development regards the proper modularization of concerns among the various compiler phases. The traditional object-oriented development paradigm ha...
136
click to vote
SQJ
2008
15 years 3 months ago
2008
Abstract. One key to several quality factors of software is the way components are connected. Software coupling can be used to estimate a number of quality factors, including maint...
164
click to vote
ITA
2007
15 years 3 months ago
2007
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
108
click to vote
TOG
2008
15 years 3 months ago
2008
Tourist maps are essential resources for visitors to an unfamiliar city because they visually highlight landmarks and other points of interest. Yet, hand-designed maps are static ...