The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up Transducers

Dines Bjrner

Browse the full FOCS paper archive.