Programming language specification by a grammar with contexts

• the conference paper
• the slides of a talk (NCMA 2013)
• the slides of a seminar talk given at Institute for System Software, University of Linz, Austria