Hans Langmaack

According to our database1, Hans Langmaack
  • authored at least 34 papers between 1965 and 2014.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2014
Friedrich L. Bauers und Klaus Samelsons Arbeiten in den 1950er-Jahren zur Einführung der Begriffe Kellerprinzip und Kellerautomat.
Proceedings of the Keller, Stack und automatisches Gedächtnis, 2014

2013
Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce.
Fundam. Inform., 2013

2010
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 3: Zu Laufzeitsystemkorrektheit und Auswirkungen von Dijkstras Aussage.
Informatik Spektrum, 2010

Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 2: "Most recent"-Eigenschaft eines Programms.
Informatik Spektrum, 2010

Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 1: Die Kopenhagener Diskussion und deren Folgen.
Informatik Spektrum, 2010

On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention.
Proceedings of the Concurrency, 2010

2009
On an algorithm determining direct superclasses in Java and similar languages with inner classes - Its correctness, completeness and uniqueness of solutions.
Inf. Comput., 2009

2008
A Deterministic Algorithm for Identifying Direct Superclasses in Java.
Fundam. Inform., 2008

2007
On Revival of Algol-Concepts in Modern Programming and Specification Languages.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2005
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., 2005

2004
Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding.
Proceedings of the From Object-Orientation to Formal Methods, 2004

An ALGOL-View on Turbo ASM.
Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2002
Klaus Samelsons frühe Beitraege zur Informatikentwicklung - Historische Notiz.
Informatik Spektrum, 2002

1997
The ProCoS Approach to Correct Systems.
Real-Time Systems, 1997

Softwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, Ubersetzerkorrektheit.
it+ti - Informationstechnik und Technische Informatik, 1997

Contribution to Goodenough's and Gerhart's Theory of Software Testing and Verification: Relation between Strong Compiler Test and Compiler Implementation Verification.
Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1995
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods.
Proceedings of the Formal Methods for Industrial Applications, 1995

1992
Provably Correct Compiler Development and Implementation.
Proceedings of the Compiler Construction, 1992

1984
Concatenation of program modules an algebraic approach to the semantic and implementation problems.
Proceedings of the Computation Theory, 1984

1983
Characterization of Acceptable by ALGOL-Like Programming Languages.
Proceedings of the Logics of Programs, 1983

Apects of Programs With Finite Modes.
Proceedings of the Fundamentals of Computation Theory, 1983

1982
On Termination Problems for Finitely Interpreted ALGOL-like Programs.
Acta Inf., 1982

1980
Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions.
Proceedings of the Automata, 1980

1979
The Formal Termination Problem for Programs with Finite ALGOL 68-Modes.
Inf. Process. Lett., 1979

1978
On a theory of decision problems in programming languages.
Proceedings of the Mathematical Studies of Information Processing, 1978

1975
Hauptvortrag: Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik?
Proceedings of the Automata Theory and Formal Languages, 1975

1974
On Procedures as Open Subroutines. II.
Acta Inf., 1974

Zum Begriff der Modularität von Programmierungssprachen.
Proceedings of the 3. Fachtagung über Programmiersprachen, 1974

1973
On Procedures as Open Subroutines. I
Acta Inf., 1973

On Correct Procedure Parameter Transmission in Higher Programming Languages
Acta Inf., 1973

Informatik - Programmierung.
Teubner Studienbücher: Informatik, Teubner, ISBN: 978-3-519-02321-0, 1973

1971
Verbandstheoretische Einbettung von Klassen unwesentlich verschiedener Ableitungen in die Zopfgruppe.
Computing, 1971

Application of Regular Canonical Systems to Grammars Translatable from Left to Right.
Acta Inf., 1971

1965
Algorithm 263 Gomory 1 [H].
Commun. ACM, 1965


  Loading...