182 search results - page 28 / 37 » Static Program Analysis for Java Card Applets |
135
click to vote
CASSIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
210
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
170
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
127
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
141
click to vote
PLDI
2000
ACM
15 years 6 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...