211 search results - page 14 / 43 » Verification of Java Programs with Generics |
DSL
2009
14 years 9 months ago
2009
Abstract. Both XML and Lisp have demonstrated the utility of generic syntax for expressing tree-structured data. But generic languages do not provide the syntactic richness of cust...
95
Voted
CADE
2007
Springer
15 years 12 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
101
Voted
JUCS
2008
14 years 11 months ago
2008
: This paper is dedicated to the issue of structural performance of multi-agent platforms. Due to the wide range of all available architectures, we have concentrated only on Java R...
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, pos...
119
Voted
CADE
2009
Springer
16 years 8 days ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...