Specification of programming language elements using BDD