STARLET: An affix-based compiler compiler designed as a logic programming system

Abstract

:We present STARLET, a new compiler compiler which compiles Extended Affix G r a m m a r s defining a translation into an executable program : the translator. We look at its operational semantics and we focus on the points which are close to or different from Prolog procedural semantics. We discuss the two interwoven issues which are Program Reliability (due to many static checks) and Program Efficiency (optimizations at compile time). Both are reached through a systematic use of grammatical properties. I I n t r o d u c t i o nOur research group has been working on grammatical programming development i.e. an approach to software construction based on compiling methods