 | 2010 |
|---|
| 34 |       | Hans Langmaack:
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention.
Concurrency, Compositionality, and Correctness 2010: 74-95 |
| 33 | | Hans Langmaack:
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 1: Die Kopenhagener Diskussion und deren Folgen.
Informatik Spektrum 33(3): 302-308 (2010) |
| 32 | | Hans Langmaack:
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 2: "Most recent"-Eigenschaft eines Programms.
Informatik Spektrum 33(4): 384-392 (2010) |
| 31 | | Hans Langmaack:
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 3: Zu Laufzeitsystemkorrektheit und Auswirkungen von Dijkstras Aussage.
Informatik Spektrum 33(6): 634-646 (2010) |
| 2009 |
|---|
| 30 | | 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 |
|---|
| 29 | | Hans Langmaack,
Andrzej Salwicki,
Marek Warpechowski:
A Deterministic Algorithm for Identifying Direct Superclasses in Java.
Fundam. Inform. 85(1-4): 343-357 (2008) |
| 2007 |
|---|
| 28 | | Hans Langmaack:
On Revival of Algol-Concepts in Modern Programming and Specification Languages.
Formal Methods and Hybrid Real-Time Systems 2007: 414-434 |
| 2005 |
|---|
| 27 | | 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 |
|---|
| 26 | | Hans Langmaack:
An ALGOL-View on Turbo ASM.
Abstract State Machines 2004: 20-37 |
| 25 | | 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 |
|---|
| 24 | | Hans Langmaack:
Klaus Samelsons frühe Beitraege zur Informatikentwicklung - Historische Notiz.
Informatik Spektrum 25(2): 132-137 (2002) |
| 1998 |
|---|
| 23 |  | 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 |
|---|
| 22 | | 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 |
| 21 | | Hans Langmaack:
The ProCoS Approach to Correct Systems.
Real-Time Systems 13(3): 253-275 (1997) |
| 1996 |
|---|
| 20 | | 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 |
|---|
| 19 | | 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 |
|---|
| 18 | | 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 |
|---|
| 17 | | 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 |
|---|
| 16 | | 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 |
| 1984 |
|---|
| 15 | | 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 |
| 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 | | Hans Langmaack:
Algorithm 263 Gomory 1 [H].
Commun. ACM 8(10): 601-602 (1965) |
Data released under the ODC-BY 1.0 license — See also our legal information page