[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Specification cell-heap
actualize
   ops
with
   cell

   
by morphism
   :obj → cell; 
   [ ] → [ ]; 
   [ ] → [ ]; 
   => → =>; 
   _∃ → _∃; 
   read → read; 
   write → write; 
end actualize