Sciweavers

PEPM
2015
ACM

SWIN: Towards Type-Safe Java Program Adaptation between APIs

7 years 11 months ago
SWIN: Towards Type-Safe Java Program Adaptation between APIs
Java program adaptation between different APIs is a common task in software development. When an old API is upgraded to an incompatible new version, or when we want to migrate an application from one platform to another platform, we need to adapt programs between different APIs. Although different program transformation tools have been developed to automate the program adaptation task, no tool ensures type safety in transforming Java programs: given a transformation program and any well-typed Java program, the transformed result is still well-typed. As a matter of fact, it is often observed that a dedicated adaptation tool turns a working application into a set of incompatible programs. We address this problem by providing a type-safe transformation language, SWIN, for Java program adaptation between different APIs. SWIN is based on Twinning, a modern transformation language for Java programs. SWIN enhances Twinning with more flexible transformation rules, formal semantics, and, most...
Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang H
Added 16 Apr 2016
Updated 16 Apr 2016
Type Journal
Year 2015
Where PEPM
Authors Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu
Comments (0)