Hans Langmaack

40 papers A* 1B 2Journal 18Unranked 13
YearRankTypeTitle / Venue / Authors
2022 J jnl
Manfred Paul (1932-2021).
Inform. Spektrum
Hans Langmaack, Gunther Schmidt
2014 — conf
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
Hans Langmaack
2013 J jnl
Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce.
Fundam. Informaticae
Hans Langmaack, Andrzej Salwicki
2010 J jnl
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 1: Die Kopenhagener Diskussion und deren Folgen.
Inform. Spektrum
Hans Langmaack
2010 J jnl
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 2: "Most recent"-Eigenschaft eines Programms.
Inform. Spektrum
Hans Langmaack
2010 J jnl
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 3: Zu Laufzeitsystemkorrektheit und Auswirkungen von Dijkstras Aussage.
Inform. Spektrum
Hans Langmaack
2010 — conf
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention.
Concurrency, Compositionality, and Correctness
Hans Langmaack
2009 J jnl
On an algorithm determining direct superclasses in Java and similar languages with inner classes - Its correctness, completeness and uniqueness of solutions.
Inf. Comput.
Hans Langmaack, Andrzej Salwicki, Marek Warpechowski
2008 J jnl
A Deterministic Algorithm for Identifying Direct Superclasses in Java.
Fundam. Informaticae
Hans Langmaack, Andrzej Salwicki, Marek Warpechowski
2007 — conf
On Revival of Algol-Concepts in Modern Programming and Specification Languages.
Formal Methods and Hybrid Real-Time Systems
Hans Langmaack
2005 — conf
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?
COCV
Hans Langmaack
2004 — conf
An ALGOL-View on Turbo ASM.
Abstract State Machines
Hans Langmaack
2004 — conf
Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding.
Essays in Memory of Ole-Johan Dahl
Hans Langmaack
2002 J jnl
Klaus Samelsons frühe Beitraege zur Informatikentwicklung - Historische Notiz.
Inform. Spektrum
Hans Langmaack
1998 — ed.
Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures
COMPOS
Willem P. de Roever, Hans Langmaack, Amir Pnueli
1997 — conf
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
Hans Langmaack
1997 J jnl
Softwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, Ubersetzerkorrektheit.
Informationstechnik Tech. Inform.
Hans Langmaack
1997 J jnl
The ProCoS Approach to Correct Systems.
Real Time Syst.
Hans Langmaack
1996 — ed.
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Formal Methods for Industrial Applications
Jean-Raymond Abrial, Egon Börger, Hans Langmaack
1995 — conf
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods.
Formal Methods for Industrial Applications
Jean-Raymond Abrial, Egon Börger, Hans Langmaack
1994 — ed.
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
FTRTFT
Hans Langmaack, Willem P. de Roever, Jan Vytopil
1992 B conf
Provably Correct Compiler Development and Implementation.
CC
Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm
1990 — ed.
VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
VDM Europe
Dines Bjørner, C. A. R. Hoare, Hans Langmaack
1984 — conf
Concatenation of program modules an algebraic approach to the semantic and implementation problems.
Symposium on Computation Theory
Manfred Krause, Hans Langmaack, Antoni Kreczmar, Marek Warpechowski
1983 B conf
Apects of Programs With Finite Modes.
FCT
Hans Langmaack
1983 — conf
Characterization of Acceptable by ALGOL-Like Programming Languages.
Logic of Programs
Ch. Crasemann, Hans Langmaack
1982 — ed.
Implementierung PASCAL-artiger Programmiersprachen, Tagung II/1982 des German Chapter of the ACM, am 12.7.1982 in Kiel
PASCAL
Hans Langmaack, Bodo Schlender, Joachim W. Schmidt
1982 J jnl
On Termination Problems for Finitely Interpreted ALGOL-like Programs.
Acta Informatica
Hans Langmaack
1980 A* conf
Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions.
ICALP
Hans Langmaack, Ernst-Rüdiger Olderog
1979 J jnl
The Formal Termination Problem for Programs with Finite ALGOL 68-Modes.
Inf. Process. Lett.
Hans Langmaack, Wolfram-Manfred Lippe, Franz Wagner
1978 — conf
On a theory of decision problems in programming languages.
Mathematical Studies of Information Processing
Hans Langmaack
1975 — conf
Hauptvortrag: Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik?
Automata Theory and Formal Languages
Hans Langmaack
1974 J jnl
On Procedures as Open Subroutines. II.
Acta Informatica
Hans Langmaack
1974 — conf
Zum Begriff der Modularität von Programmierungssprachen.
Fachtagung über Programmiersprachen
Hans Langmaack
1973 — book
Informatik - Programmierung.
Peter Kandzia, Hans Langmaack
1973 J jnl
On Correct Procedure Parameter Transmission in Higher Programming Languages
Acta Informatica
Hans Langmaack
1973 J jnl
On Procedures as Open Subroutines. I
Acta Informatica
Hans Langmaack
1971 J jnl
Application of Regular Canonical Systems to Grammars Translatable from Left to Right.
Acta Informatica
Hans Langmaack
1971 J jnl
Verbandstheoretische Einbettung von Klassen unwesentlich verschiedener Ableitungen in die Zopfgruppe.
Computing
Hans Langmaack
1965 J jnl
Algorithm 263 Gomory 1 [H].
Commun. ACM
Hans Langmaack