technique of representing an aggregate data structure so that it is convenient for writing programs that traverse the structure arbitrarily and update its contents