scientific article; zbMATH DE number 1738290

MaRDI QIDQ4529772zbMATH OpenFDO

Authors Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard

Publication date 6 May 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2053/20530039

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• Program Development in Computational Logic
• scientific article; zbMATH DE number 1696778
• scientific article; zbMATH DE number 2084340
• scientific article; zbMATH DE number 1832219
• Binding-time analysis for both static and dynamic expressions

Cited in

(7)

• Program Development in Computational Logic
• Higher-ranked annotation polymorphic dependency analysis
• scientific article; zbMATH DE number 1231585 (Why is no real title available?)
• scientific article; zbMATH DE number 791802 (Why is no real title available?)
• scientific article; zbMATH DE number 5840258 (Why is no real title available?)
• scientific article; zbMATH DE number 1696778 (Why is no real title available?)
• Comparing flow-based binding-time analyses

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