55 search results - page 1 / 11 » Formal Analysis of Java Programs in JavaFAN |
CAV
2004
Springer
13 years 10 months ago
2004
Springer
AMAST
2004
Springer
13 years 10 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
ENTCS
2006
13 years 4 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
TACAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
CSREAESA
2004
13 years 6 months ago
2004
In this paper we present an approach to the optimisation of interpreted Java programs using superinstructions. Unlike existing techniques, we examine the feasibility of identifying...