Abstract machines

 

Z Language  : Originality

Completely discharge the user from implementation problems (memory representations)

Z offers for level 1
TURING machines (character machine and number machine)
and machines simulating arrays, structures, Linked lists and files.

Z offers for level 2
machines simulating arrays, linked lists, bilateral lists, stacks, queues, binary search trees, m-ary search trees and files.