Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution).

Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen

Browse the full TACAS paper archive.