3440 search results - page 472 / 688 » Logics For Context-Free Languages |
191
click to vote
PADL
2007
Springer
16 years 1 months ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
219
click to vote
RSEISP
2007
Springer
16 years 1 months ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
214
click to vote
TGC
2007
Springer
16 years 1 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
185
click to vote
DEXAW
2006
IEEE
16 years 1 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
193
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...