183 search results - page 2 / 37 » Mostly-Functional Behavior in Java Programs |
PPPJ
2004
ACM
15 years 5 months ago
2004
ACM
To enable analysis and visualization of phased behavior in Java programs and to facilitate optimization development, we have implemented a freely-available, phase analysis framewo...
100
click to vote
WCRE
2000
IEEE
15 years 4 months ago
2000
IEEE
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...
126
click to vote
EMSOFT
2011
Springer
14 years 1 days ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
124
click to vote
APAQS
2001
IEEE
15 years 4 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
125
click to vote
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...