On the complexity of some problems concerning the use of procedures. I

DOI10.1007/BF00263196zbMath0494.68007OpenAlexW2056853566MaRDI QIDQ1169276

Karl Winklmann

Publication date: 1982

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00263196

zbMATH Keywords

programming languagesdecidabilityproceduresformal parameter correctnessformal recursivity

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) General topics in the theory of software (68N01)

Related Items

A polynomial determination of the most-recent property in Pascal-like programs, Polynomial recursion analysis in pascal like programs, On the complexity of some problems concerning the use of procedures. II, Pseudo-recursive procedures