1937 search results - page 17 / 388 » Adaptation-based programming in java |
CAV
2012
Springer
11 years 10 months ago
2012
Springer
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...
REFLECTION
2001
Springer
14 years 6 days ago
2001
Springer
ESOP
1999
Springer
14 years 2 days ago
1999
Springer
GPCE
2008
Springer
13 years 8 months ago
2008
Springer
PVM
1999
Springer
14 years 1 days ago
1999
Springer
Abstract. PVM is a succesfull programming environment for distributed computing in the languages C and Fortran. Recently several implementations of PVM for Java have been added, ma...