2009 |
29 | EE | 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) |
2008 |
28 | EE | Hans Langmaack,
Andrzej Salwicki,
Marek Warpechowski:
A Deterministic Algorithm for Identifying Direct Superclasses in Java.
Fundam. Inform. 85(1-4): 343-357 (2008) |
2007 |
27 | EE | Hans Langmaack:
On Revival of Algol-Concepts in Modern Programming and Specification Languages.
Formal Methods and Hybrid Real-Time Systems 2007: 414-434 |
2005 |
26 | EE | 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) |
2004 |
25 | EE | Hans Langmaack:
An ALGOL-View on Turbo ASM.
Abstract State Machines 2004: 20-37 |
24 | EE | 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 |
2002 |
23 | EE | Hans Langmaack:
Klaus Samelsons frühe Beitraege zur Informatikentwicklung - Historische Notiz.
Informatik Spektrum 25(2): 132-137 (2002) |
1998 |
22 | | Willem P. de Roever,
Hans Langmaack,
Amir Pnueli:
Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures
Springer 1998 |
1997 |
21 | EE | 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 |
20 | | Hans Langmaack:
The ProCoS Approach to Correct Systems.
Real-Time Systems 13(3): 253-275 (1997) |
1996 |
19 | | Jean-Raymond Abrial,
Egon Börger,
Hans Langmaack:
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Springer 1996 |
1995 |
18 | | 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 |
1994 |
17 | | Hans Langmaack,
Willem P. de Roever,
Jan Vytopil:
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
Springer 1994 |
1992 |
16 | | 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 |
1990 |
15 | | Dines Bjørner,
C. A. R. Hoare,
Hans Langmaack:
VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Springer 1990 |
1983 |
14 | | Hans Langmaack:
Apects of Programs With Finite Modes.
FCT 1983: 241-254 |
13 | | Ch. Crasemann,
Hans Langmaack:
Characterization of Acceptable by ALGOL-Like Programming Languages.
Logic of Programs 1983: 129-146 |
1982 |
12 | | Hans Langmaack,
Bodo Schlender,
Joachim W. Schmidt:
Implementierung PASCAL-artiger Programmiersprachen, Tagung II/1982 des German Chapter of the ACM, am 12.7.1982 in Kiel
Teubner 1982 |
11 | | Hans Langmaack:
On Termination Problems for Finitely Interpreted ALGOL-like Programs.
Acta Inf. 18: 79-108 (1982) |
1980 |
10 | | 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 |
1979 |
9 | | 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) |
1978 |
8 | | Hans Langmaack:
On a theory of decision problems in programming languages.
Mathematical Studies of Information Processing 1978: 538-558 |
1975 |
7 | | Hans Langmaack:
Hauptvortrag: Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik?
Automata Theory and Formal Languages 1975: 259-273 |
1974 |
6 | | Hans Langmaack:
Zum Begriff der Modularität von Programmierungssprachen.
Fachtagung über Programmiersprachen 1974: 1-12 |
5 | | Hans Langmaack:
On Procedures as Open Subroutines. II
Acta Inf. 3: 227-241 (1974) |
1973 |
4 | | Hans Langmaack:
On Correct Procedure Parameter Transmission in Higher Programming Languages
Acta Inf. 2: 110-142 (1973) |
3 | | Hans Langmaack:
On Procedures as Open Subroutines. I
Acta Inf. 2: 311-333 (1973) |
1971 |
2 | | Hans Langmaack:
Application of Regular Canonical Systems to Grammars Translatable from Left to Right
Acta Inf. 1: 111-114 (1971) |
1965 |
1 | EE | Hans Langmaack:
Algorithm 263 Gomory 1 [H].
Commun. ACM 8(10): 601-602 (1965) |