Hans Langmaack

Hans Langmaack, Andrzej Salwicki: Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce. Fundam. Inform. 122(3): 227-274 (2013)

Hans Langmaack: Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 1: Die Kopenhagener Diskussion und deren Folgen. Informatik Spektrum 33(3): 302-308 (2010)

Hans Langmaack: Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 2: "Most recent"-Eigenschaft eines Programms. Informatik Spektrum 33(4): 384-392 (2010)

Hans Langmaack: Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 3: Zu Laufzeitsystemkorrektheit und Auswirkungen von Dijkstras Aussage. Informatik Spektrum 33(6): 634-646 (2010)

Hans Langmaack: On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention. Concurrency, Compositionality, and Correctness 2010: 74-95

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): 389-410 (2009)

Hans Langmaack, Andrzej Salwicki, Marek Warpechowski: A Deterministic Algorithm for Identifying Direct Superclasses in Java. Fundam. Inform. 85(1-4): 343-357 (2008)

Hans Langmaack: On Revival of Algol-Concepts in Modern Programming and Specification Languages. Formal Methods and Hybrid Real-Time Systems 2007: 414-434

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? Electr. Notes Theor. Comput. Sci. 141(2): 5-32 (2005)

Hans Langmaack: An ALGOL-View on Turbo ASM. Abstract State Machines 2004: 20-37

Hans Langmaack: Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding. Essays in Memory of Ole-Johan Dahl 2004: 209-235

Hans Langmaack: Klaus Samelsons frühe Beitraege zur Informatikentwicklung - Historische Notiz. Informatik Spektrum 25(2): 132-137 (2002)

Willem P. de Roever, Hans Langmaack, Amir Pnueli (Eds.): Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures. Lecture Notes in Computer Science 1536, Springer 1998, isbn 3-540-65493-3

Hans Langmaack: The ProCoS Approach to Correct Systems. Real-Time Systems 13(3): 253-275 (1997)

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: 321-335

Jean-Raymond Abrial, Egon Börger, Hans Langmaack (Eds.): Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Lecture Notes in Computer Science 1165, Springer 1996, isbn 3-540-61929-1

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: 1-12

Hans Langmaack, Willem P. de Roever, Jan Vytopil (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings. Lecture Notes in Computer Science 863, Springer 1994, isbn 3-540-58468-4

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: 141-155

Dines Bjørner, C. A. R. Hoare, Hans Langmaack (Eds.): VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings. Lecture Notes in Computer Science 428, Springer 1990, isbn 3-540-52513-0

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: 134-156

Hans Langmaack: Apects of Programs With Finite Modes. FCT 1983: 241-254

Ch. Crasemann, Hans Langmaack: Characterization of Acceptable by ALGOL-Like Programming Languages. Logic of Programs 1983: 129-146

Hans Langmaack: On Termination Problems for Finitely Interpreted ALGOL-like Programs. Acta Inf. 18: 79-108 (1982)

Hans Langmaack, Bodo Schlender, Joachim W. Schmidt (Eds.): Implementierung PASCAL-artiger Programmiersprachen, Tagung II/1982 des German Chapter of the ACM, am 12.7.1982 in Kiel. Berichte des German Chapter of the ACM 11, Teubner 1982, isbn 3-519-02430-6

Hans Langmaack, Ernst-Rüdiger Olderog: Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions. ICALP 1980: 363-373

Hans Langmaack, Wolfram-Manfred Lippe, Franz Wagner: The Formal Termination Problem for Programs with Finite ALGOL 68-Modes. Inf. Process. Lett. 9(3): 155-159 (1979)

Hans Langmaack: On a theory of decision problems in programming languages. Mathematical Studies of Information Processing 1978: 538-558

Hans Langmaack: Hauptvortrag: Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik? Automata Theory and Formal Languages 1975: 259-273

Hans Langmaack: On Procedures as Open Subroutines. II. Acta Inf. 3: 227-241 (1974)

Hans Langmaack: Zum Begriff der Modularität von Programmierungssprachen. Fachtagung über Programmiersprachen 1974: 1-12

Hans Langmaack: On Correct Procedure Parameter Transmission in Higher Programming Languages. Acta Inf. 2: 110-142 (1973)

Hans Langmaack: On Procedures as Open Subroutines. I. Acta Inf. 2: 311-333 (1973)

Hans Langmaack: Application of Regular Canonical Systems to Grammars Translatable from Left to Right. Acta Inf. 1: 111-114 (1971)

Hans Langmaack: Algorithm 263 Gomory 1 [H]. Commun. ACM 8(10): 601-602 (1965)