scientific article; zbMATH DE number 1538028

MaRDI QIDQ4518883zbMATH OpenFDO

Authors

Publication date 3 December 2000

zbMATH Keywords

type specialization

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Specifying monogenetic specializers by means of a relation between source and residual programs
• scientific article; zbMATH DE number 177846
• scientific article; zbMATH DE number 2080284
• scientific article; zbMATH DE number 2080288
• scientific article; zbMATH DE number 1487847

Cited in

(6)

• Specifying monogenetic specializers by means of a relation between source and residual programs
• On Jones-Optimal Specializers: A Case Study Using Unmix
• Accurate program analyses for successful specialization of legacy system software
• Type specialisation for imperative languages
• Type-directed specialization of polymorphism.
• scientific article; zbMATH DE number 4056978 (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 Q4518883)