scientific article; zbMATH DE number 1538028

zbMATH Open0960.68033MaRDI QIDQ4518883FDOQ4518883

Authors:

Publication date: 3 December 2000

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

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

zbMATH Keywords

type specialization

Mathematics Subject Classification ID

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

Cited In (6)

• Type-directed specialization of polymorphism.
• Title not available (Why is that?)
• On Jones-Optimal Specializers: A Case Study Using Unmix
• Specifying monogenetic specializers by means of a relation between source and residual programs
• Type specialisation for imperative languages
• Accurate program analyses for successful specialization of legacy system software

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)