Hans Langmaack
5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
On termination problems for finitely interpreted ALGOL-like programs
Hans Langmaack (1982) · Acta Informatica · Springer Science+Business Media
Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions
Hans Langmaack and others (1980) · Automata, Languages and Programming · Springer Berlin Heidelberg
On a theory of decision problems in programming languages
Hans Langmaack (1979) · Mathematical Studies of Information Processing · Springer Berlin Heidelberg
On correct procedure parameter transmission in higher programming languages
Hans Langmaack (1973) · Springer Science and Business Media LLC
On procedures as open subroutines. I
Hans Langmaack (1973) · Acta Informatica · Springer Science+Business Media