scientific article

zbMath0802.68080MaRDI QIDQ3997481

Wolf Zimmermann

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

functional programsautomatic complexity analysis

Mathematics Subject Classification ID

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

Related Items

Function composition and automatic average case analysis, Automatic average-case analysis of algorithms