Advertisement

Der „Lasnik-Saito-Mechanismus“

  • Wolfgang Sternefeld

Zusammenfassung

In vielen der vorangegangenen Beispiele haben wir den ECP-Status von Zwischenspuren systematisch ignoriert, d.h. wir haben zwar Zwischenspuren in SpecC erzeugt, um Subjazenzverletzungen zu umgehen, haben jedoch oft nicht diskutiert, ob diese Spuren dem ECP unterliegen könnten.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Westdeutscher Verlag GmbH, Opladen 1991

Authors and Affiliations

  • Wolfgang Sternefeld
    • 1
  1. 1.KonstanzDeutschland

Personalised recommendations