term language with statements

Hi!


Are there any reasearch in the following area. This is description of
what I want and I may use wrong terms for the thing.


1. This language should allow to introduce statements like like in Dylan
in assition to operations.


2. This language should have clean parsed structure (groves are ok, but
it should defined ho they are constructed from language). Prolog terms
is a good example.


3. It should be possible to define building of parsed prepresentation
and surface syntax in some declarative language.


4. This language should not use one constructs for all puposes. (Lisp's
lists are bad example).


5. All Java language constructs should have readable represrentaion in
that language.


Constantine

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