Title: Perluette : A compilers producing system using abstract data types
Abstract: Real compilers are usually ad hoc programs. They are costly to write and maintain, and too much complex to be proved correct. This paper presents the compilers producing system Perluette. This system is based upon a formal semantics of programming languages. Programming languages are considered to be algebraic data types. Then it becomes possible to specify and prove their implementations as representations of an algebraic data type into another one. This formal approach has many advantages ; among these are : the modularity of the compilers specifications ; the independance between the source language and the target language descriptions. This paper gives an example of compiler specification and describes the implementation of the system in its current state.
Publication Year: 1982
Publication Date: 1982-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
Cited By Count: 8
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot