need XML schema to store infomation in a language neutral format

[AViS]

Hi,
I am building a language translator, that must convert input from
source languages to a language neutral format in XML. This XML must be
read by the target language translator and produce the output in the
target language. I am thinking of using a hashed map to handle
translations but am have trouble in deciding on the schema in which the
XML must be stored
The application must work as follows...
{c translator} <---| X M L | <---{vb translator}
int i; stored in Dim i as Integer
printf("%d",i); neutral format Print i

Proposed XML format:
<translate>
<action index=1>i</action>
<action index=2>i</action>
</translate>

the index attribute of the XML tag action will refer to a hash table
that will aid in translations thus
__________________________________________________ ________________
| index | c | vb |
|================================================= =================|
| 1 | int $token | Dim $token as Integer |
| 2 | printf("%d",$token) | print $token |
================================================== =================
Is the XML format and translation method I propose sufficient. Please
consider that the conversion is 100% possible (meaning my translator
excludes C's asm, pointers etc.)

[AViS]

There is no language neutral format. Or - in other words:

A "language neutral format" is just another language.

"Language Neutral" was meant to be in the sense that I did not want the
source language to be recognized by looking at the XML, in other words
if 'printf' in c is translated to 'X' in the XML then an equivalent
'cout' in c++ must also be translated to the same 'X'

Mentioning a low-level implementation detail as a hashing when
talking about a very high-level task seems inappropriate.

Sorry about the hash map, I just thought it would make more sense to
explain the index attribute of the xml <actiontag along with the hash
map

Even XML is a low-level implementation detail when in fact you
should be talking about annotated trees or similar structures.

Can you explicate more about "annotated trees or similar structures". I
am not able to find much info on the net. Even if you can suggest some
sites, that'll go a long way

It will be possible for you to translate a small restricted
and controlled subset of both languages...

It is enough if it is translates only a subset, in other words...
though I need to find a way to store in the XML, the functions held by
a c++ class, when translating from xml to c the functions will be
removed and the class be converted to a typedef struct.

[Joseph Kesselman]

It sounds like you're talking about an XML representation of an
Intermediate Language general enough to cover multiple source languages.
Your first step, therefore, is to find or design that IL; from there,
writing an XML rendering of it is straightforward.

I'd recommend reading any of the standard reference works on compiler
design as a starting point for picking your IL. Note that its required
characteristics are going to depend heavily on exactly what operations
you're going to want to perform against that representation.
--
Joe Kesselman / Beware the fury of a patient man. -- John Dryden

[AViS]

Thanks Stefan and Joseph.
The IL in XML was intended to be my Proof of Concept for a much bigger
initiative
I shall try to keep this thread updated with the latest.
Thanks again.

[Jean-François Michaud]

Stefan Ram wrote:

"AViS" <mc******@gmail.comwrites:

"Language Neutral" was meant to be in the sense that I did not
want the source language to be recognized by looking at the XML,

This is easy: If any code, such as

printf( "%d", i );

is given, and I tell you that it was translated from a language
X, there is no way for you, to find out what X is. So /every/
representation will fulfil this requirement.

in other words if 'printf' in c is translated to 'X' in the
XML then an equivalent 'cout' in c++ must also be translated
to the same 'X'

The idea of using an intermediate language might not be the best way to
go about it but so what? Let the guy explore, he might find
interresting things and he surely will learn alot.

In general, equivalence between two programs is undecidable.

This whole thing seems fishy to me. If 2 languages are Turing complete,
then they can both represent everything that is representable by a
Turing machine which is everything that is computable. This means that
any program representation in the first language DOES have an
equivalent representation in the second language.

Knowing weather 2 given programs written in 2 different languages are
indeed functionally equivalent if both languages are Turing complete is
far from being a trivial problem but it is possible.

>
See »Equivalence Problem« in

http://www.cs.rochester.edu/u/nelson...decidable.html

Baloney. If the input and output subsets of each program are known for
both programs then they can be compared to evaluate if they are
functionally equivalent. The Equivalence problems speaks of Equivalence
in general terms (whatever that means (nothing in context if you ask
me)). The difficulty resides in our inability to track very complex
problems. They are not impossible to solve, they are simply too complex
to aprehend when taken as a whole upfront.

Of course the proof makes sure not to mention any specific languages.
The proof applies to a program that would compute equivalence for ANY 2
programs. No such program can exist in the first place. The guy isn't
trying to translate anything to everything else, he's writing a
translater that goes from one language to another. Quite challenging,
but not impossible.

[snip]

Regards
Jean-Francois Michaud