TY - RPRT TI - Symbolic Script Programming for Java AU - Raphael Jolly AU - Heinz Kredel PY - 2009 UR - https://arxiv.org/abs/0906.2315 ID - 0906.2315 ER -