This paper describes a partial evaluator for the flow chart language which is based on the liveness analysis．This partial evaluator consists of liveness analysis，binding time analysis．annotation and specialization．With the liveness informations，the binding time analysis can get the abstract interpretation to variables much more precisely than USU- al．So the quality of the residual program produced by the specialization is improved. Jones N D eds．, Partial Evaluation and Mixed Computation，Amsterdam：North-Holland, 1988·22b～282·