This paper is the research on binding time analysis in partial evaluation techniques. It provides the BTA in a partial evaluator for a kind of higher order functional language, which is called FSL.