Jürgen F. H. Winkler

According to our database, Jürgen F. H. Winkler authored at least 31 papers between 1976 and 2019.

Collaborative distances:

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

2019

Oprema - The Relay Computer of Carl Zeiss Jena.

Jürgen F. H. Winkler

CoRR, 2019

2010

Mechanical inference of invariants for FOR-loops.

Stefan Kauer, Jürgen F. H. Winkler

J. Symb. Comput., 2010

2004

C#: eine Konkurrenz für Java?

Jürgen F. H. Winkler

it Inf. Technol., 2004

2002

A safe variant of the unsafe integer arithmetic of Java^TM.

Jürgen F. H. Winkler

Softw. Pract. Exp., 2002

Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK.

Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler

Proceedings of the Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 2002

1997

Proving Assertions is Also Useful.

Jürgen F. H. Winkler, Stefan Kauer

ACM SIGPLAN Notices, 1997

Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types.

Jürgen F. H. Winkler

J. Univers. Comput. Sci., 1997

1993

25 Jahre Software-Engineering - Editorial.

Andreas Spillner, Jürgen F. H. Winkler

Inform. Spektrum, 1993

Anwendung der Objektorientierung in einem industriellen Telekommunikationsprojekt.

Wolfgang Günther, Jürgen F. H. Winkler

Inform. Spektrum, 1993

1992

Beispiele zur Rekursion von Reinhold Franck und anderen Autoren.

Jürgen F. H. Winkler

Proceedings of the Informatik zwischen Wissenschaft und Gesellschaft, 1992

Object CHILL - An Object Oriented Language for Systems Implementation.

Jürgen F. H. Winkler, Georg Dießl

Proceedings of the ACM 20th Annual Conference on Computer Science, 1992

1990

The Implementation of ProTest: a Prolog Debugger for a Refined Box Model.

Adolf Schleiermacher, Jürgen F. H. Winkler

Softw. Pract. Exp., 1990

Adding inheritance to Ada.

Jürgen F. H. Winkler

Proceedings of the Seventh Washington Ada Symposium on Ada, 1990

A Prolog Debugger Based on a Refined Box Model.

Jürgen F. H. Winkler, Axel v. Reeken, Adolf Schleiermacher

Proceedings of the ICLP 1990 Workshop on Logic Programming Environments, 1990

Visualisierung in der Software-Entwicklung.

Jürgen F. H. Winkler

Proceedings of the GI, 1990

1989

Wie soll die Fakultätsfunktion programmiert werden? Overflow.

Jürgen F. H. Winkler, Jürg Nievergelt

Inform. Spektrum, 1989

1988

Workshop on software version and configuration control.

Jürgen F. H. Winkler

ACM SIGSOFT Softw. Eng. Notes, 1988

Program-Variations-in-the-Small.

Jürgen F. H. Winkler

Proceedings of the International Workshop on Software Version and Configuration Control, 1988

1987

Version Control in Families of Large Programs.

Jürgen F. H. Winkler

Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

1986

Eine Konfigurationssprache für Ada.

Jürgen F. H. Winkler

Proceedings of the Software-Architektur und modulare Programmierung, 1986

The Integration of Version Control into Programming Languages.

Jürgen F. H. Winkler

Proceedings of the Advanced Programming Environments, 1986

1984

Some improvements of ISO-Pascal.

Jürgen F. H. Winkler

ACM SIGPLAN Notices, 1984

1982

Ada: die neuen Konzepte.

Jürgen F. H. Winkler

Elektron. Rechenanlagen, 1982

1981

Differences between preliminary and final ADA.

Jürgen F. H. Winkler

ACM SIGPLAN Notices, 1981

Formale Definition der Semantik von Prozessoperationen.

Jürgen F. H. Winkler

Proceedings of the Implementierungssprachen für nichtsequentielle Programmsysteme, 1981

1980

Das Prozeßkonzept in Betriebssystemen und Programmiersprachen II.

Jürgen F. H. Winkler

Inform. Spektrum, 1980

Methode zur Erzeugung angepaßter und übertrabarer Betriebssysteme.

Jürgen F. H. Winkler, Clemens Stoffel

Proceedings of the Portable Software, 1980

1979

Eine Übersicht über Hilfsmittel zur Beschreibung der Struktur und Funktion von Rechensystemen.

Clemens Stoffel, Jürgen F. H. Winkler

Elektron. Rechenanlagen, 1979

Das Prozeßkonzept in Betriebssystemen und Programmiersprachen I.

Jürgen F. H. Winkler

Inform. Spektrum, 1979

1978

Zum Begriff des Prozesses: am Beispiel von PEARL.

Jürgen F. H. Winkler

Elektron. Rechenanlagen, 1978

1976

Schleifen und strukturierte Programmierung.

Jürgen F. H. Winkler

Elektron. Rechenanlagen, 1976