Optimal Data Flow Analysis via Obserrational Equivalence

Ediciones (1)

• Optimal Data Flow Analysis via Obserrational Equivalence. (1989)

  University of Edinburgh Laboratory forFoundations of Computer Science · inglés

Más obras de Bernhard Steffen

Correct system design

Grundlagen Der Hheren Informatik Induktives Vorgehen

Mathematical Foundations of Advanced Informatics : Volume 1