Litt om occam

Minimalistisk design

BNF-notasjonen er på 5 (fem) sider!

Forsiktig design

• Ikke pekere
• Ingen preprosessor
• Uttrykk kan ikke ha sideeffekter
• Aliasing-fri
  En memory-celle kan kun ha ett navn
  I motsetning til i alle? andre språk
  Eks: x := a + b og x := a - b gir alltid x = a
• Rekursjon ikke implementert.
  Men all kode er reentrant.

Regler og sjekking

Av kompilator eller ved kjøretid:

Array

Indeksering sjekkes

Regler for parallell aksess av variable

Eks: Les/les (ok), les/skriv (ulovlig), skriv/skriv (ulovlig)

Regler for "abbreviations"

Eks: Aksess rettigheter på deler av array

Regler for PROC

Eks: En kanal parameter eller fri kanal kan ikke være både inn og utgang i samme PROC

Regler for PROC og FUNCTION

Eks: Kun variable erklært innenfor VALUE kan tilordnes

Multiprosessor

• Transputer versjonen var fullt distribuert
  • occam
    • virtuelle prosesser
    • automatisk ruting
  • debugger
    • fulgte kanaler..
    • ..fra prosessor til prosessor
• Andre kompilatorer har dårligere support [Kompilatorer]

occam transformasjonsregler

• Alle prosesser som kjører på én maskin
  kan transformeres til sekvensiell form
• Dette sier noe om occams formalisme