scientific article; zbMATH DE number 1953289

MaRDI QIDQ4414742zbMATH OpenFDO

Authors Jens Peter Secher, M. H. B. Sørensen

Publication date 27 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2566/25660436.htm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3930968
• Type inference using constraint handling rules
• Type inference in polymorphic type discipline
• scientific article; zbMATH DE number 177797
• Type inference for pure type systems
• Type inference with partial types
• scientific article; zbMATH DE number 4058828
• A semantics for static type inference

Cited in

(3)

• Heuristic and exact algorithms for product configuration in software product lines
• Resource-usage-aware configuration in software product lines
• Decision-making coordination and efficient reasoning techniques for feature-based configuration

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 Q4414742)