Formale Semantik

Während der Mitarbeit an der Programmiersprache ADA war Bernd Krieg-Brückner maßgeblich bei INRIA an der ersten Formalen Definition von Ada mit Methoden der Denotationellen Semantik beteiligt.