The lifetime of object variables (properties)

In Alice, variables that belong to objects are called properties.

They come into existence when the object is created.

They cease to exist when the object ceases to exist.

Objects cannot be created or destroyed in Alice while a program is running.

Therefore, properties belonging to an object exist during the entire running time of the program.

Just like local variables, every property is identified as belonging to a specific type.