Walter Kirchgässner

According to our database, Walter Kirchgässner authored at least 6 papers between 1982 and 1988.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1988

Ein Modell zur Analyse programminhärenter Zusicherungen.

Walter Kirchgässner

PhD thesis, 1988

An Optimizer for Ada - Design, Experiences and Results.

Birgit Schwarz, Walter Kirchgässner, Rudolf Landwehr

Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

1986

Strukturanalyse-Werkzeuge für eine Ada-Umgebung.

Guido Persch, Walter Kirchgässner, Jürgen Uhl

Proceedings of the Software-Architektur und modulare Programmierung, 1986

1984

A portable ADA tasking system for single processors.

Guido Persch, Hans-Stephan Jansohn, Rudolf Landwehr, Jürgen Uhl, Manfred Dausmann, Walter Kirchgässner

Proceedings of the Programmierumgebungen und Compiler, 1984

1982

The integration of existing database systems in an Ada environment.

Martin Bever, Manfred Dausmann, Sophia Drossopoulou, Walter Kirchgässner, Peter C. Lockemann, Guido Persch, Georg Winterstein

Proceedings of the AdaTEC Conference on Ada, 1982

An Attribute Grammar for the Semantic Analysis of Ada

Jürgen Uhl, Sophia Drossopoulou, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein, Walter Kirchgässner

Lecture Notes in Computer Science 139, Springer, ISBN: 3-540-11571-4, 1982