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

Source is a modification of the Wikipedia article Abstract machine notation, licensed under CC-BY-SA. Full list of contributors here.
Ronnie Barker / Abstrakte Syntax
Impressum & Datenschutz