114 search results - page 18 / 23 » Points-To Analysis for Java using Annotated Constraints |
106
click to vote
BMCBI
2002
14 years 11 months ago
2002
Background: When analyzing protein sequences using sequence similarity searches, orthologous sequences (that diverged by speciation) are more reliable predictors of a new protein&...
124
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: Horizontal gene transfer (HGT) is considered a strong evolutionary force shaping the content of microbial genomes in a substantial manner. It is the difference in spee...
107
click to vote
SIGSOFT
2003
ACM
16 years 9 days ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
113
click to vote
SEMCO
2009
IEEE
15 years 6 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Variant parametric types (VPT) represent the successful result of combining subtype polymorphism with parametric polymorphism to support a more flexible subtyping for Ja...