scientific article; zbMATH DE number 4115923

MaRDI QIDQ4730751zbMATH OpenFDO

Authors Fujio Nishida, Shinobu Takamatsu, Yoneharu Fujita

Publication date 1988

zbMATH Keywords

specificationprogram generationreusable modules

Mathematics Subject Classification ID

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

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)

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

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)