Title: Definition and implementation of context conditions for programming languages