Jena University, Dept. of Math. and Computer Science, Inst. of Computer Science
Programming Languages and Compilers 

Papers and Reports

Winkler, Jürgen F. H.
C#: Eine Konkurrenz für Java? (C#: a Competitor for Java?).it - information technology  46,2 (2004)85 .. 93  (pdf)

Winkler, Jürgen F. H.
A Sharp Adaptation Rule for Specifications with General Specification Variables.
Friedrich Schiller University, Dept. of Math. & Comp. Sci., Report Math / Inf / 2003 / 22,  2003.Aug.27

Winkler, Jürgen F. H.
C# - Geschichte und Überblick. Friedrich Schiller University, Dept. of Math. & Comp. Sci., Report Math / Inf / 2002 / 13,   2002.Aug.27

Winkler, Jürgen F. H.
A Safe Variant of the Unsafe Integer Arithmetic of Java. Software-Practice and Experience, 32 (2002) 669..701.  DOI:  10.1002/spe.454

Freining, Carsten; Kauer, Stefan; Winkler, Jürgen F. H.
Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK. Ada-Deutschland Tagung 2002. Shaker Verlag, Aachen, 2002. S. 127..145
( pdf )

Winkler, Jürgen F. H.; Dencker, Peter; Keller, Hubert B.; Tonndorf, Michael (Hrsg)
Ada Deutschland Tagung 2002 - Software für sicherheitskritische Systeme - Shaker Verlag, Aachen, 2002.   3-8265-9956-X

Winkler, Jürgen F. H.
A Safe Variant of the Unsafe Integer Arithmetic of Java. Friedrich Schiller University, Dept. of Math. & Comp. Sci., Report Math / Inf / 2001 / 10 

Winkler, Jürgen F. H.
Concurrency in Ada and Java.  Ada Deutschland Tagung 2001. Shaker Verlag, Aachen, 2001. S. 143-166

Freining, C. C.; Lucena, V. F. Jr. de
Reverse Engineering Konzept zur Gewinnung von Verhaltensinformationen aus objektorientierter Software. 2. Workshop Software Reengineering. Universität Koblenz-Landau, Fachberichte Informatik 8/2000, S. 75-82 (während Zugehörigkeit von C. Freining zur Universität Stuttgart)

Winkler, Jürgen F. H.
CHILL 2000.  Telektronikk 96 (2000) 4, 70-77.

Winkler, Jürgen F. H.
Characteristics of Computing and Informatics.  Friedrich Schiller University, Dept. of Math. & Comp. Sci., Report Math / Inf / 2000 / 02 (pdf)
 

Kauer, Stefan; Winkler, Jürgen F. H.
Automatic Generation of Invariants for FOR-Loops Based on an Improved Proof Rule.  Friedrich Schiller University, Dept. of Math. & Comp. Sci., Report Math / Inf / 2000 / 26

Kauer, Stefan; Winkler, Jürgen F. H.
A Comparison of the Program Provers NPPV and FPP. Friedrich Schiller University, Dept. of Math. & Comp. Sci., Report Math / Inf / 99 / 28  1999.Nov.09   ( pdf )

Kauer, Stefan; Winkler, Jürgen F. H.
FPP: An Automatic Program Prover for Ada Statements. GI FG 2.1.5. "Ada" Workshop "Objektorientierung und sichere Software mit Ada". Karlsruhe 1999.Apr.21-22

Kauer, Stefan:
Automatische Erzeugung von Verifikations- und Falsifikationsbedingungen sequentieller Programme. Dissertation, Friedrich Schiller University, 1999.Jan.27 (pdf)

Dietzel, Ernst; Toparkus, Heinz
The Explicit Solution of the Characteristical Initial Value Problem for Canonical Hyperbolic Systems by Means of the Two-dimensional Laplace Transform.  Integral Transforms and Special Functions  7, 3-4 (1998) 225..236

Winkler, Jürgen F. H.
New Proof Rules for FOR-Loops. Friedrich Schiller University, Dept. of Math. & Comp. Sci., Report Math / Inf / 98 / 13 1998.Nov.07

Winkler, Jürgen F.H.
Characteristics of Computing and Informatics. Proc. XV. IFIP World Computer Congress. Vienna / Budapest 1998.Aug.31 - Sep.04.,  CD-ROM Edition  file /doc/000/000/669.htm

Winkler, Jürgen F. H.
The Frege Program Prover FPP. 42. Internationales Wissenschaftliches Kolloquium, TU Ilmenau, 1997, 116 .. 121

Winkler, Jürgen F. H.; Kauer, Stefan:
Proving Assertions is also Useful. SIGPLAN Notices 32,3 (1997) 38..41 (postscript)

Winkler, Jürgen F. H.
Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types (Abstract, postscript)
Journal of Universal Computer Science, 3,2 (1997) 120 - 146 (postscript)

Winkler, Jürgen F. H.:
Some Properties of the Smallest Post-Set and the Largest Pre-Set of Abstract Programs (postscript)
Friedrich Schiller University, Dept. of Math. & Comp. Sci., Report Math / Inf / 96 / 32 1996.Oct.23

Winkler, Jürgen F. H.:
wp is Basically a State Set Transformer.(postscript)
Internal Paper, Friedrich-Schiller-University, 1996.Aug


Institute | Home | Comments  |  Jürgen Winkler 2006.Sep.12