scientific article; zbMATH DE number 5117088

MaRDI QIDQ3416094zbMATH OpenFDO

Authors Markus Holzer, Martin Kutrib

Publication date 19 January 2007

zbMATH Keywords

computability theoryLOOP-programprogramming approach to computabilityregister complexityWHILE-program, and GOTO-program

Mathematics Subject Classification ID

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

Recommendations

• Computational complexity via programming languages: Constant factors do matter
• On minimal-program complexity measures
• A note on simple programs with two variables
• The complexity of dynamic programming
• Estimating structural complexity of programs
• Straight-line program length as a parameter for complexity measures
• scientific article; zbMATH DE number 2110614
• Analysing the implicit complexity of programs.
• scientific article; zbMATH DE number 1342252

Cited in

(4)

• A note on simple programs with two variables
• Stack and register complexity of radix conversions
• Computer Science Logic
• Machines, Computations, and Universality

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