месяца 2 назад видел тут статью о средствах задания правил верификации кода.

например, чтобы все идентификаторы начинались с маленькой буквы. помню там речь шла о новой языке грамматик.

помогите найти эту статью