scientific article; zbMATH DE number 1953287

zbMATH Open1026.68512MaRDI QIDQ4414740FDOQ4414740

Authors: Mads Rosendahl 

Publication date: 27 July 2003

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

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

Recommendations

• scientific article; zbMATH DE number 1522991
• Efficient demand-driven evaluation. Part 2
• Efficient demand-driven evaluation. Part 1
• scientific article; zbMATH DE number 3872648
• Transformational programming and the derivation of algorithms

Mathematics Subject Classification ID

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

Cited In (1)

• Closed-form upper bounds in static cost analysis

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