scientific article; zbMATH DE number 48605

MaRDI QIDQ3997481zbMATH OpenFDO

Authors Wolf Zimmermann

Publication date 23 January 1993

zbMATH Keywords

automatic complexity analysisfunctional programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(2)

• Automatic average-case analysis of algorithms
• Function composition and automatic average case 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 Q3997481)