The Output-Store Formal Translator Directed by LR Parsing.

Jan Janousek, Borivoj Melichar

Browse the full SOFSEM paper archive.