Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation