default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHans Langmaack
Person information
- affiliation: University of Kiel, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j18]Hans Langmaack, Gunther Schmidt
:
Manfred Paul (1932-2021). Inform. Spektrum 45(1): 45-46 (2022)
2010 – 2019
- 2014
- [c16]Hans Langmaack:
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 2014: 19-29 - 2013
- [j17]Hans Langmaack, Andrzej Salwicki:
Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce. Fundam. Informaticae 122(3): 227-274 (2013) - 2010
- [j16]Hans Langmaack:
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 1: Die Kopenhagener Diskussion und deren Folgen. Inform. Spektrum 33(3): 302-308 (2010) - [j15]Hans Langmaack:
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 2: "Most recent"-Eigenschaft eines Programms. Inform. Spektrum 33(4): 384-392 (2010) - [j14]Hans Langmaack:
Dijkstras fruchtbarer, folgenreicher Irrtum - Teil 3: Zu Laufzeitsystemkorrektheit und Auswirkungen von Dijkstras Aussage. Inform. Spektrum 33(6): 634-646 (2010) - [c15]Hans Langmaack:
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention. Concurrency, Compositionality, and Correctness 2010: 74-95
2000 – 2009
- 2009
- [j13]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
- [j12]Hans Langmaack, Andrzej Salwicki, Marek Warpechowski:
A Deterministic Algorithm for Identifying Direct Superclasses in Java. Fundam. Informaticae 85(1-4): 343-357 (2008) - 2007
- [c14]Hans Langmaack:
On Revival of Algol-Concepts in Modern Programming and Specification Languages. Formal Methods and Hybrid Real-Time Systems 2007: 414-434 - 2005
- [c13]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? COCV@ETAPS 2005: 5-32 - 2004
- [c12]Hans Langmaack:
An ALGOL-View on Turbo ASM. Abstract State Machines 2004: 20-37 - [c11]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
- [j11]Hans Langmaack:
Klaus Samelsons frühe Beitraege zur Informatikentwicklung - Historische Notiz. Inform. Spektrum 25(2): 132-137 (2002)
1990 – 1999
- 1998
- [e5]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. Lecture Notes in Computer Science 1536, Springer 1998, ISBN 3-540-65493-3 [contents] - 1997
- [j10]Hans Langmaack:
Softwareengineering zur Zertifizierung von Systemen: Spezifikations-, Implementierungs-, Ubersetzerkorrektheit. Informationstechnik Tech. Inform. 39(3): 41-47 (1997) - [j9]Hans Langmaack:
The ProCoS Approach to Correct Systems. Real Time Syst. 13(3): 253-275 (1997) - [c10]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 - 1996
- [e4]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). Lecture Notes in Computer Science 1165, Springer 1996, ISBN 3-540-61929-1 [contents] - 1995
- [c9]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
- [e3]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. Lecture Notes in Computer Science 863, Springer 1994, ISBN 3-540-58468-4 [contents] - 1992
- [c8]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
- [e2]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. Lecture Notes in Computer Science 428, Springer 1990, ISBN 3-540-52513-0 [contents]
1980 – 1989
- 1984
- [c7]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
- [c6]Hans Langmaack:
Apects of Programs With Finite Modes. FCT 1983: 241-254 - [c5]Ch. Crasemann, Hans Langmaack:
Characterization of Acceptable by ALGOL-Like Programming Languages. Logic of Programs 1983: 129-146 - 1982
- [j8]Hans Langmaack:
On Termination Problems for Finitely Interpreted ALGOL-like Programs. Acta Informatica 18: 79-108 (1982) - [e1]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. Berichte des German Chapter of the ACM 11, Teubner 1982, ISBN 3-519-02430-6 [contents] - 1980
- [c4]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
1970 – 1979
- 1979
- [j7]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
- [c3]Hans Langmaack:
On a theory of decision problems in programming languages. Mathematical Studies of Information Processing 1978: 538-558 - 1975
- [c2]Hans Langmaack:
Hauptvortrag: Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik? Automata Theory and Formal Languages 1975: 259-273 - 1974
- [j6]Hans Langmaack:
On Procedures as Open Subroutines. II. Acta Informatica 3: 227-241 (1974) - [c1]Hans Langmaack:
Zum Begriff der Modularität von Programmierungssprachen. Fachtagung über Programmiersprachen 1974: 1-12 - 1973
- [b1]Peter Kandzia, Hans Langmaack:
Informatik - Programmierung. Teubner Studienbücher: Informatik, Teubner 1973, ISBN 978-3-519-02321-0, pp. 1-234 - [j5]Hans Langmaack:
On Correct Procedure Parameter Transmission in Higher Programming Languages. Acta Informatica 2: 110-142 (1973) - [j4]Hans Langmaack:
On Procedures as Open Subroutines. I. Acta Informatica 2: 311-333 (1973) - 1971
- [j3]Hans Langmaack:
Application of Regular Canonical Systems to Grammars Translatable from Left to Right. Acta Informatica 1: 111-114 (1971) - [j2]Hans Langmaack:
Verbandstheoretische Einbettung von Klassen unwesentlich verschiedener Ableitungen in die Zopfgruppe. Computing 7(3-4): 293-310 (1971)
1960 – 1969
- 1965
- [j1]Hans Langmaack:
Algorithm 263 Gomory 1 [H]. Commun. ACM 8(10): 601-602 (1965)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 20:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
