Sciweavers

Share
17 search results - page 1 / 4
» Beyond Annotations: A Proposal for Extensible Java (XJ)
Sort
View
SCAM
2008
IEEE
9 years 7 months ago
Beyond Annotations: A Proposal for Extensible Java (XJ)
Tony Clark, Paul Sammut, James S. Willans
CORR
2010
Springer
152views Education» more  CORR 2010»
9 years 1 months ago
A Non-Null Annotation Inferencer for Java Bytecode
We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completen...
Laurent Hubert
ECOOP
2007
Springer
9 years 5 months ago
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
Patrice Chalin, Perry R. James
ESORICS
2006
Springer
9 years 5 months ago
Discretionary Capability Confinement
Motivated by the need of application-level access control in dynamically extensible systems, this work proposes a static annotation system for modeling capabilies in a Java-like pr...
Philip W. L. Fong
LCPC
2007
Springer
9 years 7 months ago
Language Extensions in Support of Compiler Parallelization
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
Jun Shirako, Hironori Kasahara, Vivek Sarkar
books