Programming language + XML + XSL = compiler ?

[rnbrady]

Hi folks

New around here. This post may be a duplicate, I think I bungled the
previous one.

I've recently started out with XML and XSL and I'm very impressed with
both. My use is non-web in nature. In fact, I'm writing a compiler of
sorts, from high-level spec in XML, with eventual generation of VHDL.

I've made the following observations:

1. Given pure source code (Eg:Java,C++), one could generate an abstract
syntax tree in XML.
2. XML is also apposite for symbol tables and intermediate froms.
3. XSLT can do powerful transformations of said internediate forms.
4. XSL can generate plain text.

I'm wondering wondering what it would take to implement a compiler for
a given language in XML/XSL. More specifically, are there any XSL or
XML based systems that assist in scanning pure source into XML so that
the transformations can begin? Grammar could be provided in marked-up
EBNF. This is probably over-optimistic could the process would need
knowledge of LL/LALR etc.

The alternative approach is to use your standard scanner/parser
generator with it's own (non-interchangable) EBNF and have the action
code generate tagged tokens, giving you an AST in XML.

My questions:
1. Are there any decent XML shema's for EBNF?
2. Are there any tools / XSL extensions to do the above?
3. What are your thoughts on the whole idea?

Best regards,
Richard Brady

[Joe Kesselman]

rn*****@gmail.c om wrote:

I'm wondering wondering what it would take to implement a compiler for
a given language in XML/XSL.
Remember, XSL is a pure functional langauge. That may make some of the
manipulations a serious compiler would want to perform difficult.

But, yes, a basic old-fashioned just-replace-with-equivalent-code
transformation ought to be possible. This is not the set of tools I
would choose to do it in -- custom data structures are likely to be much
more efficient than trying to model everything in XML -- but if you're
looking for a pedagogical exercise, it could be a fun thing to try.

Were I you, I'd start with a language that has simpler syntax and
semantics than Java or C++, and use that to establish your framework and
understand the issues (including performance and memory space). Then, if
you're still feeling ambitious, go for it.

(Personally, I've stopped writing compilers for the sake of writing
compilers. I'd rather wait until I'm reasonably sure there's something
mine will do better than any existing alternative.)

More specifically, are there any XSL or XML based systems that assist in scanning pure source into XML so that
the transformations can begin? Grammar could be provided in marked-up
EBNF. This is probably over-optimistic could the process would need
knowledge of LL/LALR etc.

The alternative approach is to use your standard scanner/parser
generator with it's own (non-interchangable) EBNF and have the action
code generate tagged tokens, giving you an AST in XML.

My questions:
1. Are there any decent XML shema's for EBNF?
2. Are there any tools / XSL extensions to do the above?
3. What are your thoughts on the whole idea?

Best regards,
Richard Brady

[Andy Dingley]

rn*****@gmail.c om wrote:

3. XSLT can do powerful transformations of said internediate forms.

IMHE, XSLT can't do "powerful", for interesting values of powerful. It
does "Bulky but simple" very well indeed and is excellent for text
processing with blocks of text. If you try and do anything involving
semantics though, it starts to fall flat.

[Jürgen Kahrs]

rn*****@gmail.c om wrote:

I'm wondering wondering what it would take to implement a compiler for
a given language in XML/XSL. More specifically, are there any XSL or
This has been suggested 5 years ago in

http://www.idealliance.org/papers/xm.../03-05-04.html

and also in comp.compilers late last year.
Google for "xml as intermediate representation"
3. What are your thoughts on the whole idea?

Teaching compiler construction could be an area
where this idea might be useful. But in real life,
I would _not_ like to write my source code in XML.

[Joe Kesselman]

Then there's always the inverse: a programming language whose syntax is
based on XML, so it can be styled by XSLT (or generated from other XML
sources by XSLT). IBM's Bean Markup Language and BML Scripting Pages,
which I was involved in some years ago, were one such example, though in
that case the language was designed for configuration and assembly of
existing Java components (and BSF scripts, also something that I helped
develop) rather than being intended as a completely stand-alone
programming environment.
--
() ASCII Ribbon Campaign | Joe Kesselman
/\ Stamp out HTML e-mail! | System architexture and kinetic poetry

[Andy Dingley]

On Fri, 23 Jun 2006 23:46:38 -0400, Joe Kesselman
<ke************ @comcast.net> wrote:

Then there's always the inverse: a programming language whose syntax is
based on XML, so it can be styled by XSLT (or generated from other XML
sources by XSLT).

Ant

SQL DDL, as managed by the Apache Torque project

[Joe Kesselman]

Hm. I don't usually think of Ant as a programming language, and I don't
think I've heard of anyone styling it, but that's an interesting
observation -- stylesheets to adapt Ant builds to different
environments, perhaps...
--
() ASCII Ribbon Campaign | Joe Kesselman
/\ Stamp out HTML e-mail! | System architexture and kinetic poetry

[rnbrady]

Hi folks

Thanks for the input. I'm not actually thinking of doing this as a
project, just curious about whether any investigation has been done on
the topic. I currently use this technique to transform digital signal
processing (DSP) algorithms specified in XML into VHDL implementations
of those algorithms.

Perhaps I'm off the mark with suggesting it for C++ or Java, but it's a
particularly interesting concept when considering higher-level
specifications such as in model driven engineering (like UML in MDA). A
large emphasis becomes interoperabilit y/exchangability/portability of
models, but at the core of it all is transformations between models.

It's interesting because we all have different backgrounds and
therefore unique perspectives on an concept like this.

Thanks again,
Richard

[Juergen Kahrs]

rn*****@gmail.c om wrote:

the topic. I currently use this technique to transform digital signal
processing (DSP) algorithms specified in XML into VHDL implementations
of those algorithms.

Where did you get the DSP algorithms in XML ?
Is there any standard for this ?

[Andy Dingley]

Joe Kesselman wrote:

Hm. I don't usually think of Ant as a programming language,
In its limited little way, it's a declarative programming language (as
was Prolog). You can use it as a convenient dependency resolver.
I don't think I've heard of anyone styling it,

I have an XSLT stylesheet that auto-documents Ant external targets.
Handy when I'm shipping deployment scripts to users.

I also auto-generate Ant from a vile combination of our bug tracker,
change control, and Torque repository. This generates database patch
scripts for upgrading customer databases from arbitrary start points to
new product versions.