Raymond Rakotozafy

According to our database, Raymond Rakotozafy authored at least 4 papers between 1987 and 1990.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of seven.

1990

Using Rewriting Techniques to Produce Code Generators and Proving Them Correct.

Annie Despland, Monique Mazaud, Raymond Rakotozafy

Sci. Comput. Program., 1990

PAGODE: A Back End Generator Using Attribute Abstract Syntaxes and Term Rewritings.

Annie Despland, Monique Mazaud, Raymond Rakotozafy

Proceedings of the Compiler Compilers, 1990

1988

An Implementation of Retargetable Code Generators in Prolog.

Annie Despland, Monique Mazaud, Raymond Rakotozafy

Proceedings of the Programming Language Implementation and Logic Programming, 1988

1987

Code Generator Generation Based on Template-Driven Target Term Rewriting.

Annie Despland, Monique Mazaud, Raymond Rakotozafy

Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987