scientific article; zbMATH DE number 2084340

MaRDI QIDQ3043822zbMATH OpenFDO

Authors

Publication date 6 August 2004

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1630104
• Fully Automatic Binding-Time Analysis for Prolog
• Tag-free combinators for binding-time polymorphic program generation
• scientific article; zbMATH DE number 1231585
• Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity

Cited in

(11)

• scientific article; zbMATH DE number 1948415 (Why is no real title available?)
• Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity
• scientific article; zbMATH DE number 1738290 (Why is no real title available?)
• Binding-time analysis for both static and dynamic expressions
• scientific article; zbMATH DE number 1508929 (Why is no real title available?)
• Tag-free combinators for binding-time polymorphic program generation
• Binding-Time Annotations without Binding-Time Analysis
• Enhanced type inference for binding-time analysis
• On the runtime complexity of type-directed unboxing
• scientific article; zbMATH DE number 1630104 (Why is no real title available?)
• Fully Automatic Binding-Time Analysis for Prolog

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