Literatur zu Abstrakte Maschinen

• Java VM
• Smalltalk Byte code
• Virtuelle Maschinen im Betriebssystembereich (nicht Thema dieser LVA).
• Implementierung
  • Dispatch
    • Threaded code(Kogge), threaded-code-seite, tail-call optimierung Xu&Kjolstad
    • Code copying ertl25
    • IP-update-Optimierung ertl24
    • Copy-and-Patch Xu&Kjolstad21, ertl04
  • Operandenzugriff
    • Stack caching
    • Register
    • Dalvik VM
  • Superinstructions Diplomarbeit Supercombinators (Hughes), Superoperators (Fraser)
  • Datendarstellung und Typen
    • Boxing
    • Objekte
    • Tagging
    • NaN-Boxing
  • Just-in-time Compilation
    • Methodenbasiert
    • Trace-basiert
• Webassembly
• Prolog: WAM
• Prolog: VAM
• VMgen