This appears to me to be an implementation of a gap buffer:

http://en.wikipedia.org/wiki/Gap_buffer

I actually just implemented one in Python on top of the array module, planning to use it in a text editor:

https://github.com/jasontbradshaw/gapbuffer