ACSAC
2000
IEEE
13 years 8 months ago
2000
IEEE
This paper describes an extension of the Java language that provides “programmable security.” The approach augments the Java syntax with constructs for specifying various acce...
JAVA
2001
Springer
13 years 8 months ago
2001
Springer
In this paper we present a platform independent analysis of the dynamic profiles of Java programs when executing on the Java Virtual Machine. The Java programs selected are taken...
JAVA
2001
Springer
13 years 8 months ago
2001
Springer
The computational science community is reluctant to write largescale computationally-intensive applications in Java due to concerns over Java’s poor performance, despite the cla...
FASE
2001
Springer
13 years 8 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
CC
2001
Springer
13 years 8 months ago
2001
Springer
Abstract. This paper presents a framework for supporting the optimization of Java programs using attributes in Java class files. We show how class file attributes may be used to ...
VL
2002
IEEE
13 years 9 months ago
2002
IEEE
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
ITCC
2002
IEEE
13 years 9 months ago
2002
IEEE
Due to its portability and popularity for Internet applications, Java has become one of the major programming languages. The similar syntax inherited from the C language and the p...
IPPS
2002
IEEE
13 years 9 months ago
2002
IEEE
During the last few years, the concepts of cluster computing and heterogeneous networked systems have received increasing interest. The popularity of using Java for developing par...
FM
2003
Springer
13 years 9 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
PPPJ
2003
ACM
13 years 9 months ago
2003
ACM
Compared to imperative programming languages like Pascal or Basic, or functional programming languages like ML or Haskell learning Java is hampered by the fact that to get even th...