Sciweavers

8 search results - page 1 / 2
» Alias Analysis On Type Inference For Class Hierarchy In Java
Sort
View
ACSC
2001
IEEE
13 years 8 months ago
Alias Analysis On Type Inference For Class Hierarchy In Java
The integration of alias analysis with type information increases the precision of alias detection, especially for inheritance among classes. This paper presents a compile-time fl...
Jongwook Woo, Jean-Luc Gaudiot, Isabelle Attali, D...
ISSRE
2003
IEEE
13 years 9 months ago
Investigating Java Type Analyses for the Receiver-Classes Testing Criterion
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
Pierre-Luc Brunelle, Ettore Merlo, Giuliano Antoni...
SAS
2005
Springer
114views Formal Methods» more  SAS 2005»
13 years 10 months ago
Type-Safe Optimisation of Plugin Architectures
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
Neal Glew, Jens Palsberg, Christian Grothoff
ESOP
2009
Springer
13 years 11 months ago
An Interval-Based Inference of Variant Parametric Types
Abstract. Variant parametric types (VPT) represent the successful result of combining subtype polymorphism with parametric polymorphism to support a more flexible subtyping for Ja...
Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengch...
ICSE
2008
IEEE-ACM
14 years 5 months ago
Systematically refactoring inheritance to delegation in java
Because of the strong coupling of classes and the proliferation of unneeded class members induced by inheritance, the suggestion to use composition and delegation instead has beco...
Hannes Kegel, Friedrich Steimann