scientific article; zbMATH DE number 4178747

MaRDI QIDQ3201747zbMATH OpenFDO

Authors Annie Despland, Monique Mazaud, Raymond Rakotozafy

Publication date 1989

zbMATH Keywords

Prologcompiler specificationcode generator generation

Mathematics Subject Classification ID

Artificial intelligence (68T99) Theory of compilers and interpreters (68N20)

Recommendations

• Using rewriting techniques to produce code generators and proving them correct
• Publication:3201749
• Towards an algebraic specification of code generation
• Prolog based retargetable code generation
• scientific article; zbMATH DE number 512907

Cited in

(11)

• Mumbo: a rule-based implementation of a run-time program generation language
• Using rewriting techniques to produce code generators and proving them correct
• Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code
• Prolog based retargetable code generation
• scientific article; zbMATH DE number 4178748 (Why is no real title available?)
• Automatically generating instruction selectors using declarative machine descriptions
• scientific article; zbMATH DE number 3888896 (Why is no real title available?)
• scientific article; zbMATH DE number 4045127 (Why is no real title available?)
• Beginner's luck: a language for property-based generators
• scientific article; zbMATH DE number 107856 (Why is no real title available?)
• scientific article; zbMATH DE number 1696819 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3201747)