H. Langmaack

发表

VDM '90 VDM and Z — Formal Methods in Software Development

Dines Bjørner, G. Goos, J. Hartmanis, 1990, Lecture Notes in Computer Science.

A New Transformational Approach to Partial Correctness Proof Calculi for Algol 6 8-Like Programs with Finite Modes and Simple Sideeffects

H. Langmaack, 1985 .

An Adequate First Order Logic of Intervals

Amir Pnueli, Zhou Chaochen, Hans Langmaack, 1998 .

Revised Lectures from the International Symposium on Compositionality: The Significant Difference

Amir Pnueli, Willem P. de Roever, Hans Langmaack, 1997 .

A ProCos Project Description: Esprit BRA 3104

Flemming Nielson, Anders P. Ravn, Hans Rischel, 1989 .

Methods for Semantics and Specification (Dagstuhl Seminar 9523)

Egon Börger, Jean-Raymond Abrial, Hans Langmaack, 2021 .

The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods

Egon Börger, Hans Langmaack, Jean-Raymond Abrial, 1995, Formal Methods for Industrial Applications.

Application of regular canonical systems to grammars translatable from left to right

Hans Langmaack, H. Langmaack, 1971, Acta Informatica.

On Revival of Algol-Concepts in Modern Programming and Specification Languages

Hans Langmaack, H. Langmaack, 2007, Formal Methods and Hybrid Real-Time Systems.

Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding

Hans Langmaack, H. Langmaack, 2004, Essays in Memory of Ole-Johan Dahl.

The ProCoS Approach to Correct Systems

Hans Langmaack, H. Langmaack, 1997, Real-Time Systems.

A ProCoS II Project Final Report: ESPRIT Basic Research project 7071

Ernst-Rüdiger Olderog, Jonathan P. Bowen, Hans Langmaack, 1996 .

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

Hans Langmaack, Andrzej Salwicki, H. Langmaack, 2013, Fundam. Informaticae.

On procedures as open subroutines. II

Hans Langmaack, H. Langmaack, 1974, Acta Informatica.

On correct procedure parameter transmission in higher programming languages

Hans Langmaack, H. Langmaack, 1973, Acta Informatica.

Contribution to Goodenough's and Gerhart's Theory of Software Testing and Verification: Relation between Strong Compiler Test and Compiler Implementation Verification

Hans Langmaack, H. Langmaack, 1997, Foundations of Computer Science: Potential - Theory - Cognition.

Apects of Programs With Finite Modes

Hans Langmaack, H. Langmaack, 1983, FCT.

Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions

Ernst-Rüdiger Olderog, Hans Langmaack, H. Langmaack, 1980, ICALP.

ProCoS II 1 Overview of ESPRIT ProCoS II ProjectC

H. Langmaack, .. A. R. Hoare, E. Olderog, 1993 .

An ALGOL-View on Turbo ASM

Hans Langmaack, H. Langmaack, 2004, Abstract State Machines.

Provably Correct Compiler Development and Implementation

Martin Fränzle, Bettina Buth, Markus Müller-Olm, 1992, CC.

Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures

Amir Pnueli, Hans Langmaack, Compos, 1998 .

Compositionality: The Significant Difference

Amir Pnueli, Willem-Paul de Roever, Hans Langmaack, 1999, Lecture Notes in Computer Science.

On a theory of decision problems in programming languages

Hans Langmaack, H. Langmaack, 1978, Mathematical Studies of Information Processing.