Notation der abstrakten Maschine

Die Notation der abstrakten Maschine (AMN) ist eine Spezifizierungssprache und (abstrakte) Programmiersprache, um abstrakte Maschinen in der B Methode anzugeben, die auf der mathematischen Theorie von verallgemeinerten Ersetzungen gestützt ist.

Siehe auch

  • Formelle Methoden
  • Formelle Spezifizierung

Ronnie Barker / Abstrakte Syntax
Impressum & Datenschutz