Programming Languages and Systems [electronic resource] : 7th Asian Symposium,