Hans Langmaack

Publication Activity (10 Years)

Years Active: 1965-2022
Publications (10 Years): 1

Top Topics

General Purpose

Top Venues

Fundam. Informaticae

Inform. Spektrum

Keller, Stack und automatisches Gedächtnis

Publications

Hans Langmaack, Gunther Schmidt
Manfred Paul (1932-2021). Inform. Spektrum 45 (1) (2022)
Hans Langmaack
Friedrich L. Bauers und Klaus Samelsons Arbeiten in den 1950er-Jahren zur Einführung der Begriffe Kellerprinzip und Kellerautomat. Keller, Stack und automatisches Gedächtnis (2014)
Hans Langmaack, Andrzej Salwicki
Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce. Fundam. Informaticae 122 (3) (2013)
Hans Langmaack
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 2: "Most recent"-Eigenschaft eines Programms. Inform. Spektrum 33 (4) (2010)
Hans Langmaack
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 1: Die Kopenhagener Diskussion und deren Folgen. Inform. Spektrum 33 (3) (2010)
Hans Langmaack
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention. Concurrency, Compositionality, and Correctness (2010)
Hans Langmaack
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 3: Zu Laufzeitsystemkorrektheit und Auswirkungen von Dijkstras Aussage. Inform. Spektrum 33 (6) (2010)
Hans Langmaack, Andrzej Salwicki, Marek Warpechowski
On an algorithm determining direct superclasses in Java and similar languages with inner classes - Its correctness, completeness and uniqueness of solutions. Inf. Comput. 207 (3) (2009)
Hans Langmaack, Andrzej Salwicki, Marek Warpechowski
A Deterministic Algorithm for Identifying Direct Superclasses in Java. Fundam. Informaticae 85 (1-4) (2008)
Hans Langmaack
On Revival of Algol-Concepts in Modern Programming and Specification Languages. Formal Methods and Hybrid Real-Time Systems (2007)
Hans Langmaack
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?: Auf Deutsch: Welche Art mathematischer Argumentation darf die Informatikwissenschaft einem Softwareimplementierer auf jeden Fall zumuten? Electron. Notes Theor. Comput. Sci. 141 (2) (2005)
Hans Langmaack
An ALGOL-View on Turbo ASM. Abstract State Machines (2004)
Hans Langmaack
Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding. Essays in Memory of Ole-Johan Dahl (2004)
Hans Langmaack
Klaus Samelsons frühe Beitraege zur Informatikentwicklung - Historische Notiz. Inform. Spektrum 25 (2) (2002)
Hans Langmaack
Contribution to Goodenough's and Gerhart's Theory of Software Testing and Verification: Relation between Strong Compiler Test and Compiler Implementation Verification. Foundations of Computer Science: Potential - Theory - Cognition (1997)
Hans Langmaack
The ProCoS Approach to Correct Systems. Real Time Syst. 13 (3) (1997)
Hans Langmaack
Softwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, Ubersetzerkorrektheit. Informationstechnik Tech. Inform. 39 (3) (1997)
Jean-Raymond Abrial, Egon Börger, Hans Langmaack
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods. Formal Methods for Industrial Applications (1995)
Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm
Provably Correct Compiler Development and Implementation. CC (1992)
Manfred Krause, Hans Langmaack, Antoni Kreczmar, Marek Warpechowski
Concatenation of program modules an algebraic approach to the semantic and implementation problems. Symposium on Computation Theory (1984)
Hans Langmaack
Apects of Programs With Finite Modes. FCT (1983)
Ch. Crasemann, Hans Langmaack
Characterization of Acceptable by ALGOL-Like Programming Languages. Logic of Programs (1983)
Hans Langmaack
On Termination Problems for Finitely Interpreted ALGOL-like Programs. Acta Informatica 18 (1982)
Hans Langmaack, Ernst-Rüdiger Olderog
Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions. ICALP (1980)
Hans Langmaack, Wolfram-Manfred Lippe, Franz Wagner
The Formal Termination Problem for Programs with Finite ALGOL 68-Modes. Inf. Process. Lett. 9 (3) (1979)
Hans Langmaack
On a theory of decision problems in programming languages. Mathematical Studies of Information Processing (1978)
Hans Langmaack
Hauptvortrag: Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik? Automata Theory and Formal Languages (1975)
Hans Langmaack
On Procedures as Open Subroutines. II. Acta Informatica 3 (1974)
Hans Langmaack
Zum Begriff der Modularität von Programmierungssprachen. Fachtagung über Programmiersprachen (1974)
Hans Langmaack
On Procedures as Open Subroutines. I Acta Informatica 2 (1973)
Hans Langmaack
On Correct Procedure Parameter Transmission in Higher Programming Languages Acta Informatica 2 (1973)
Hans Langmaack
Application of Regular Canonical Systems to Grammars Translatable from Left to Right. Acta Informatica 1 (1971)
Hans Langmaack
Verbandstheoretische Einbettung von Klassen unwesentlich verschiedener Ableitungen in die Zopfgruppe. Computing 7 (3-4) (1971)
Hans Langmaack
Algorithm 263 Gomory 1 [H]. Commun. ACM 8 (10) (1965)