Ein Transformationssystem zur Programmentwicklung von Persch, Guido

Notes on TCOL von Dausmann, Manfred 1951-, Persch, Guido, Winterstein, Georg

AIDA an intermediate representation of ADA programs von Dausmann, Manfred 1951-, Persch, Guido, Winterstein, Georg

Ein Transformationssystem zur Programmentwicklung von Persch, Guido

Ein Transformationssystem zur Programmentwicklung von Persch, Guido

ADA-0 Reference Manual von Dausmann, Manfred 1951-, Persch, Guido, Winterstein, Georg

ADA-0 Compiler operating instructions von Dausmann, Manfred 1951-, Persch, Guido, Winterstein, Georg

Ein Transformationssystem zur Programmentwicklung von Persch, Guido

Programmiermethodik mit Ada von Goos, Gerhard 1937-2020, Persch, Guido, Uhl, Jürgen

Inhaltsverzeichnis

A method for describing concurrent problems based on logic von Winterstein, Georg, Dausmann, Manfred 1951-, Persch, Guido

Deriving different unification algorithms from a specification in logic von Winterstein, Georg, Dausmann, Manfred 1951-, Persch, Guido

Beschreibung einer Teilmenge ADA-0 von ADA zur Erstellung eines ADA-Übersetzers von Winterstein, Georg, Dausmann, Manfred 1951-, Persch, Guido

ADA-0 compiler user manual von Dausmann, Manfred 1951-, Persch, Guido, Winterstein, Georg

Karlsruhe Ada Environment user manual

Weitere Verfasser: “… Persch, Guido …”