Mathematical foundations of advanced informatics von Steffen, Bernhard, Rüthing, Oliver, Huth, Michael

Volltext öffnen

Grundlagen der höheren Informatik induktives Vorgehen von Steffen, Bernhard, Rüthing, Oliver, Isberner, Malte 1988-

Volltext öffnen

Basic block graphs living dinosaurs? von Knoop, Jens, Koschützki, Dirk, Steffen, Bernhard

Syntactic versus semantic code motion analogies and essential differences von Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Inhaltsverzeichnis

A constraint oriented proof methodology based on modal transition systems von Larsen, Kim G., Steffen, Bernhard, Weise, Carsten

Optimal code motion for parallel programs von Knoop, Jens, Steffen, Bernhard, Vollmer, Jürgen

Inhaltsverzeichnis

A tool kit for constructing optimal interprocedural data flow analyses von Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Efficient and optimal bit vector data flow analyses a uniform interprocedural framework von Knoop, Jens, Steffen, Bernhard

Optimal code motion theory and practice von Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Module configuration by minimal model construction von Steffen, Bernhard, Margaria, Tiziana, Freitag, Burkhard 1953-

Lazy strength reduction von Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Strength reduction based on code motion a uniform approach von Knoop, Jens, Steffen, Bernhard

Optimal code motion within flow graphs a practical approach von Steffen, Bernhard, Knoop, Jens, Rüthing, Oliver

The interprocedural coincidence theorem von Knoop, Jens, Steffen, Bernhard

Unifying strength reduction and semantic code motion von Knoop, Jens, Steffen, Bernhard

Strength reduction based on code motion a uniform approach von Knoop, Jens, Steffen, Bernhard

Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten e. Optimalitätskonzept u. seine Anwendung von Steffen, Bernhard

Die rechtliche Stellung der Gewerkschaft im gesellschaftlichen Gefüge des modernen Staates von Steffen, Bernhard

Der Herr im Felde! Soldatenbüchlein von Steffen, Bernhard

Mathematical foundations of advanced informatics von Steffen, Bernhard, Rüthing, Oliver, Huth, Michael