Control structures in programs and computational complexity
type: Item
instance of: scholarly article
title: Control structures in programs and computational complexity
zbMATH Open document ID: 1064.68029
author: Karl-Heinz Niggl
published in: Annals of Pure and Applied Logic
publication date: 2005-04-21T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q15
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03D20
zbMATH DE Number: 2160249
zbMATH Keywords: Implicit computational complexity
zbMATH Keywords: Imperative programming languages
zbMATH Keywords: Grzegorczyk hierarchy
zbMATH Keywords: Higher-type recursion
zbMATH Keywords: Lambda calculus
zbMATH Keywords: Polynomial time
MaRDI profile type: Publication
full work available at URL: j.apal.2004.10.011
OpenAlex ID: W1970467575
cites work: Iteration of Primitive Recursion
cites work: A new recursion-theoretic characterization of the polytime functions
cites work: Ranking Primitive Recursions: The Low Grzegorczyk Classes Revisited
cites work: Higher type recursion, ramification and polynomial time
cites work: Q5824357
cites work: The Garland Measure and Computational Complexity of Stack Programs
cites work: On the computational complexity of imperative programming languages
cites work: The \(\mu\)-measure as a tool for classifying computational complexity
cites work: Rekursionszahlen und die Grzegorczyk-Hierarchie
DOI: 10.1016/J.APAL.2004.10.011
Recommended article: A unifying theory of control dependence and its application to arbitrary program structures
Recommended article: The Hierarchy of Program Control Structures
Recommended article: Programmed constructions for control synthesis problems
Recommended article: Q4856498
Recommended article: Complexity Analysis in Presence of Control Operators and Higher-Order Functions
Recommended article: Q3496233
Recommended article: Q3722298
Recommended article: Q4945219
description: scientific article; zbMATH DE number 2160249