scientific article; zbMATH DE number 4178747

zbMATH Open0715.68013MaRDI QIDQ3201747FDOQ3201747

Authors: Annie Despland, Monique Mazaud, Raymond Rakotozafy 

Publication date: 1989

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Prologcompiler specificationcode generator generation

Mathematics Subject Classification ID

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

Cited In (11)

• Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code
• Mumbo: a rule-based implementation of a run-time program generation language
• Prolog based retargetable code generation
• Using rewriting techniques to produce code generators and proving them correct
• Title not available (Why is that?)
• Automatically generating instruction selectors using declarative machine descriptions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Beginner's luck: a language for property-based generators
• Title not available (Why is that?)
• Title not available (Why is that?)

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)