Concepedia

Hans Langmaack

HL

Statistics

Publications

10

Citations

284

H-Index

10

Active since

1971

Affiliations

Saarland University(Current)

Christian-Albrechts-Universität zu Kiel

Hans Langmaack is an author at Saarland University specializing in computer science, computing, and programming languages.

Publications per year

1971–1997

10

Publications

10

On correct procedure parameter transmission in higher programming languages

Hans Langmaack · Acta Informatica · 1973 · 52 citations · Full text

Computing, Computer Science, Programming Languages +6

Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).

Jean-Raymond Abrial, Egon Börger, Hans Langmaack · 1996 · 48 citations

Engineering, Computer Science, Systems Engineering +14

On procedures as open subroutines. II

Hans Langmaack · Acta Informatica · 1974 · 45 citations

Computing, Computer Science, Algorithms +3

On procedures as open subroutines. I

Hans Langmaack · Acta Informatica · 1973 · 32 citations

Computing, Computer Science, Algorithms +3

A ProCos Project Description: Esprit BRA 3104

Dines Bjoerner, C. A. R. Hoare, Jonathan P. Bowen et al. · Research Explorer (The University of Manchester) · 1989 · 31 citations

Engineering, Mechanical Engineering, Search And Rescue +1

1–5 of 10