1210 search results - page 55 / 242 » Formal Techniques for Java Programs |
124
click to vote
JIT
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we present a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques and can be used with every standard Jav...
135
Voted
CC
2003
Springer
15 years 7 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
127
click to vote
FOAL
2009
ACM
15 years 9 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
130
Voted
JUCS
2008
15 years 2 months ago
2008
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...
146
click to vote
ERSHOV
2009
Springer
15 years 5 days ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...