Raymond Rakotozafy

Publication Activity (10 Years)

Years Active: 1987-1990
Publications (10 Years): 0

Publications

Annie Despland, Monique Mazaud, Raymond Rakotozafy
Using Rewriting Techniques to Produce Code Generators and Proving Them Correct. Sci. Comput. Program. 15 (1) (1990)
Annie Despland, Monique Mazaud, Raymond Rakotozafy
PAGODE: A Back End Generator Using Attribute Abstract Syntaxes and Term Rewritings. CC (1990)
Annie Despland, Monique Mazaud, Raymond Rakotozafy
An Implementation of Retargetable Code Generators in Prolog. PLILP (1988)
Annie Despland, Monique Mazaud, Raymond Rakotozafy
Code Generator Generation Based on Template-Driven Target Term Rewriting. RTA (1987)