In this paper, we provide a theoretical foundation for and improvements to the existing
bytecode verification technology, a critical component of the Java security model, for mobile …

This article describes a Java Card programming environment which to a large extent is
generated from formal specifications of the syntax and semantics of Java Card, the Java …

Context-free language theory is a subject of high importance in computer language
processing technology as well as in formal language theory. This paper presents a …

Résumé Les cartes à puces ont évolué vers le concept de cartes ouvertes. Ce sont des
cartes où l'on peut charger des applications après qu'elles aient été émises (distribuées à …

Automated functional testing consists in deriving test cases from the specification model of a
program to detect faults within an implementation. In our work, we investigate using …

Security of programming languages, particularly programming languages used for network
applications, is a major issue at this time. Despite the best efforts of language designers and …

Abstract we define a generic control-flow sensitive static analysis, Static Reduction Analysis
(SRA), for an untyped object-oriented language featuring side-effects and exceptions. While …