Dynamic Arrays

malloc [:S(2),[:employee,:employee]]

mov [eax+0],2

mov [eax+4],dexter

mov [eax+8],jgm

; eax:

; ^*[S(2)^rw,*[employee^rw,employee^rw]]

coerce array(4,0,employee^rw,eax)

; eax: ^*[S(2)^rw,array(2,employee^rw)]

coerce pack(ɚ>,eax,<…>)

; eax: Exist[s:Sint].^*[S(s)^r,array(s,employee^rw)]

Previous slide

Next slide

Back to first slide

View graphic version