Programming in a context-aware language