scientific article; zbMATH DE number 1738290

zbMATH Open0984.68024MaRDI QIDQ4529772FDOQ4529772

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

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

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

Mathematics Subject Classification ID

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

Cited In (7)

• Program Development in Computational Logic
• Higher-ranked annotation polymorphic dependency analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)