Hur beskriva semantiken för ett programmeringsspråk?

• Formella metoder – matematiskt avancerade modeller

• • Inte i denna kurs, men nämns några i PL-boken

• Pragmatisk metod

• • 1. lär dig hur interpretatorer och kompilatorer fungerar i stora drag
  • 2. Lär dig informellt vad som händer för olika konstruktioner