Sciweavers

1937 search results - page 69 / 388
» Adaptation-based programming in java
Sort
View
ACPC
1999
Springer
14 years 1 months ago
Inter-procedural Analysis for Parallelization of Java Programs
Antonio Magnaghi, Shuichi Sakai, Hidehiko Tanaka
ACMSE
2007
ACM
14 years 1 months ago
Higher-order functional programming and wildcards in java
Categories and Subject Descriptors General Terms Keywords
Nattawut Sridranop, Ryan Stansifer
FASE
2008
Springer
13 years 11 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...