Suchergebnisse - Steffen, Bernhard

Grundlagen der höheren Informatik: induktives Vorgehen

von Steffen, Bernhard, Rüthing, Oliver, Isberner, Malte 1988-

Online lesen
Inhaltsverzeichnis

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

Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten: e. Optimalitätskonzept u. seine Anwendung

von Steffen, Bernhard

Grundlagen der höheren Informatik: Induktives Vorgehen

von Steffen, Bernhard, Rüthing, Oliver, Isberner, Malte

Inhaltsverzeichnis

Compositional minimization of finite state systems using interface specifications

von Graf, Susanne 1958-, Steffen, Bernhard, Lüttgen, Gerald

Parallelism for free: efficient and optimal bitvector analyses for parallel programs

von Knoop, Jens, Steffen, Bernhard, Vollmer, Jürgen

Partial dead code elimination

von Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Inhaltsverzeichnis

Pushdown processes: parallel composition and model checking

von Burkart, Olaf, Steffen, Bernhard

Lazy code motion

von Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Automatic synthesis of design plans in METAFrame

von Margaria, Tiziana, Steffen, Bernhard

Towards a tool kit for the automatic generation of interprocedural data flow analyses

von Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Inhaltsverzeichnis

Finite model checking and beyond

von Steffen, Bernhard

Heterogeneous analysis and verification for distributed systems

von Steffen, Bernhard, Margaria, Tiziana, Claßen, Andreas