Articles/books that discuss separating the context-free part of a language from the context-sensitive part?

I read this fantastic post on the comp.theory list:


http://coding.derkeiler.com/Archive/General/comp.theory/2004-03/0189.html


The poster makes the point that most programming languages define a
context-free core, and then have additional algorithms which run on the parse
tree to filter out constructs that are illegal in the language:


            This separates out the context-free part of the language
            from the context-sensitive part -- which is generally
            regarded as good practice (a kind of modular "programming"
            discipline for language design).


Are there any articles or books that discuss this technique?


[That's been the conventional wisdom at least since I took a compilers
course in the early 1970s. I believe I mentioned it in lex&yacc and
later in flex&bison. It's easier, and it also permits much better
error messages. -John]

Return to the comp.compilers page.
Search the comp.compilers archives again.