Plan (I)

• Modell: Rechner mit beliebig vielen Registern (R₀, R₁,…) mathend000#
• Befehle:
  • Literal laden (in Register)
  • Register laden (kopieren)
  • direkt springen (zu literaler Adresse)
  • indirekt springen (zu Adresse in Register)
• Unterprogramm-Argumente in Registern:
  • für Abstraktionen: (R₀, R₁,…, R_k) mathend000#

    (genau diese, genau dieser Reihe nach)

  • für primitive Operationen: beliebig

• Transformation: lokale Namen → mathend000# Registernamen