scientific article; zbMATH DE number 4115923

MaRDI QIDQ4730751zbMATH OpenFDO

Authors Fujio Nishida, Shinobu Takamatsu, Yoneharu Fujita

Publication date 1988

zbMATH Keywords

program generationreusable modulesspecification

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3951983
• Automatic programming: A tutorial on formal methodologies
• scientific article; zbMATH DE number 3963167
• scientific article; zbMATH DE number 3911678
• scientific article; zbMATH DE number 177527

Cited in

(5)

• Mumbo: a rule-based implementation of a run-time program generation language
• Automatic generation of make dependencies
• scientific article; zbMATH DE number 3951983 (Why is no real title available?)
• Self-generating program specializers
• scientific article; zbMATH DE number 1497843 (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 Q4730751)