Data Structure Support

• Malloc instruction

  • Allocates memory, backed by conversative GC
  • Typing annotation gives the field types

• Pointer types: ^t

• Structure types: *[t1,…,tn]

• Field types: t^var

  • Where var ::= ^r ^w ^rw ^u

Previous slide

Next slide

Back to first slide

View graphic version