Synthesizing program generators for embedded software

MaRDI QIDQ5310445zbMATH OpenFDO

Authors

Publication date 11 October 2007

Full work available at URL http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-6586-1

zbMATH Keywords

binding-time analysispartial evaluation process

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 2018587
• scientific article; zbMATH DE number 1794202
• scientific article; zbMATH DE number 1033650
• scientific article; zbMATH DE number 4050967
• Cogen in six lines

Cited in

(3)

• scientific article; zbMATH DE number 2018587 (Why is no real title available?)
• Modular code generation from synchronous block diagrams: modularity vs. code size
• Automated Technology for Verification and Analysis

This page was built for publication: Synthesizing program generators for embedded software

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