Hans Langmaack
Affiliations:- University of Kiel, Germany
According to our database1,
Hans Langmaack
authored at least 35 papers
between 1965 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2022
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. Informaticae, 2013
2010
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 3: Zu Laufzeitsystemkorrektheit und Auswirkungen von Dijkstras Aussage.
Inform. Spektrum, 2010
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 2: "Most recent"-Eigenschaft eines Programms.
Inform. Spektrum, 2010
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 1: Die Kopenhagener Diskussion und deren Folgen.
Inform. 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
Fundam. Informaticae, 2008
2007
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?
Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 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
Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004
2002
Inform. Spektrum, 2002
1997
Softwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, Ubersetzerkorrektheit.
Informationstechnik Tech. Inform., 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
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
Proceedings of the Logics of Programs, 1983
Proceedings of the Fundamentals of Computation Theory, 1983
1982
Acta Informatica, 1982
1980
Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions.
Proceedings of the Automata, 1980
1979
Inf. Process. Lett., 1979
1978
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
Proceedings of the 3. Fachtagung über Programmiersprachen, 1974
1973
On Procedures as Open Subroutines. I
Acta Informatica, 1973
On Correct Procedure Parameter Transmission in Higher Programming Languages
Acta Informatica, 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 Informatica, 1971
1965