23 search results - page 1 / 5 » Extending Operational Semantics of the Java Bytecode |
TGC
2007
Springer
13 years 11 months ago
2007
Springer
ESMART
2001
Springer
13 years 9 months ago
2001
Springer
This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access,...
SAS
2007
Springer
13 years 11 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
ECOOP
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
SEFM
2006
IEEE
13 years 11 months ago
2006
IEEE
The Aspect Oriented Programming is a new programming paradigm that provides a means of encapsulation of crosscuting concerns in software. This paper describes a formal semantics o...