RE: Application of Conjunctive Grammars?

Quinn Tyler Jackson <>
21 Sep 2004 22:14:37 -0400

          From comp.compilers

Related articles
Re: Application of Conjunctive Grammars? (Sylvain Schmitz) (2004-09-14)
RE: Application of Conjunctive Grammars? (Quinn Tyler Jackson) (2004-09-14)
RE: Application of Conjunctive Grammars? (Quinn Tyler Jackson) (2004-09-21)
| List of all articles for this month |

From: Quinn Tyler Jackson <>
Newsgroups: comp.compilers
Date: 21 Sep 2004 22:14:37 -0400
Organization: Compilers Central
References: 04-09-108
Keywords: parse
Posted-Date: 21 Sep 2004 22:14:37 EDT

Monty Hall wrote:

> > what programming language constructs can be expressed using
> > conjunctive CFGs?

Sylvain Schmitz replied:

> One of the practical interests of conjunctive grammars is the ability
> to express scoping as a syntax problem rather than a semantic one.
> See for an application of
> conjunctive grammars to a simple programming language.

Right. That's become a recent focus of Okhotin's work, it appears.

I've just finished a paper on something related, but it requires more than
just conjunction. Still trying to find a home for the paper ... not sure
where to submit.

"On the efficient grammar-only recognition of late declaration within a

Quinn Tyler Jackson
New Westminster, British Columbia


The C++ programming language requires variables to be declared before use,
but allows variables to be referenced in the body of a class's inline
functions and in this special case, member variable declaration can occur
after the variable has already been referenced in code. We present an
adaptive grammar that models this constraint, accepting scopes with
variables that are eventually resolved and rejecting scopes that have such
references that are not resolved upon scope closure.

Quinn Tyler Jackson

"Never express yourself more clearly than you think."
-- Niels Bohr

Post a followup to this message

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