Properties

We identify several properties that a auto-completion mechanism must have to behave in a consistent manner. A mechanism is well-behaved if it satisfies the following properties : monotonicity, order independence and locality.